BibTeX search results
Search for entry containing "ieee" in Title AND "standard" in Title
From: Bibliography of material on floating-point arithmetic
@MastersThesis{Biddulph:1979:MFC,
author = "Thomas P. Biddulph",
title = "A modified {FORTRAN\slash} 77 compiler that will
implement the proposed {IEEE\slash} {KCS} floating
point standard via calls to emulation routines",
type = "Master of Science, Plan II.",
school = "Dept. of Electrical Engineering and Computer
Sciences",
address = "Berkeley, CA, USA",
year = "1979",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
}
From: Bibliography of material on floating-point arithmetic
@Article{Cody:1979:IPI,
author = "W. Cody",
title = "Impact of The Proposed {IEEE} Floating Point Standard
on Numerical Software",
journal = "ACM SIGNUM Newsletter",
volume = "14",
number = "special issue",
pages = "29--30",
month = oct,
year = "1979",
coden = "SNEWD6",
ISSN = "0163-5778",
bibdate = "Sat Dec 09 14:17:31 1995",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@Article{IEEE:1979:PIF,
author = "Anonymous",
title = "The Proposed {IEEE} floating-point standard",
journal = "ACM SIGNUM Newsletter",
pages = "32",
month = oct,
year = "1979",
coden = "SNEWD6",
ISSN = "0163-5778",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
keywords = "Floating-point arithmetic --- Standards.",
}
From: Bibliography of material on floating-point arithmetic
@Article{Hough:1981:API,
author = "David Hough",
title = "Applications of the Proposed {IEEE-754} Standard for
Floating Point Arithmetic",
journal = "Computer",
volume = "14",
number = "3",
pages = "70--74",
month = mar,
year = "1981",
coden = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Fri Sep 2 23:38:14 1994",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@Article{Stevenson:1981:ITP,
author = "D. Stevenson",
title = "{IEEE} Task 754: {A} Proposed Standard for Binary
Floating-Point Arithmetic: Draft 8.0",
journal = "Computer",
volume = "14",
number = "3",
pages = "51--62",
month = mar,
year = "1981",
coden = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Thu Sep 1 10:14:17 1994",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@Book{Stevenson:1981:PSBb,
author = "David Stevenson",
title = "A proposed standard for binary floating-point
arithmetic: draft 8.0 of {IEEE} Task {P754}",
publisher = "IEEE Computer Society Press",
address = "1109 Spring Street, Suite 300, Silver Spring, MD
20910, USA",
pages = "36",
year = "1981",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
annote = "Reprinted from: Computer, v. 14, no. 3 (Mar. 1981):
51-87. Includes articles by W.J. Cody, David Hough, and
Jerome T. Coonen.",
keywords = "Floating-point arithmetic.; Compiling (Electronic
computers).",
}
From: Bibliography of material on floating-point arithmetic
@MastersThesis{Aspinwall:1983:IIF,
author = "David Brian Masters Aspinwall",
title = "An implementation of the {IEEE} floating point
standard on a {VAX-11\slash 780}",
type = "Thesis (M.S.)",
school = "San Francisco State University",
address = "San Francisco, CA, USA",
pages = "ix + 138",
year = "1983",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
keywords = "VAX-11 (Computer) --- Programming.; Computer
architecture.; Floating-point arithmetic.;
Microprogramming.",
}
From: Bibliography of material on floating-point arithmetic
@MastersThesis{Rosenblum:1983:IIS,
author = "David Samuel Rosenblum",
title = "An implementation of the {IEEE} standard for binary
floating-point arithmetic for the {Motorola} 6809
microprocessor",
type = "Thesis ({M.S.})",
school = "North Texas State University",
address = "Denton, TX, USA",
pages = "vi + 83",
month = aug,
year = "1983",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
keywords = "Microprocessors --- Programming.; Computer
arithmetic.",
}
From: Bibliography of material on floating-point arithmetic
@InProceedings{Shahan:1984:MIF,
author = "V. Shahan",
title = "The {MC68881}: The {IEEE} Floating Point Standard
Reduced to One {VLSI} Chip",
crossref = "IEEE:1984:ILD",
pages = "172--176",
year = "1984",
bibdate = "Wed Sep 7 22:31:44 1994",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@Manual{IEEE:1985:AIS,
author = "IEEE Task P754",
title = "{ANSI}\slash {IEEE} 754-1985, Standard for Binary
Floating-Point Arithmetic",
organization = "IEEE, New York",
pages = "18",
month = aug # " 12",
year = "1985",
bibdate = "Fri Sep 16 11:22:29 1994",
note = "A preliminary draft was published in the January 1980
issue of IEEE Computer, together with several companion
articles
\cite{Cody:1981:APF,Coonen:1981:UDN,Coonen:1980:IGP,Coonen:1981:EIG,Hough:1981:API,Stevenson:1981:PSBa,Stevenson:1981:PSBb}.
The final version was republished in
\cite{IEEE:1985:ISBa,IEEE:1985:ISBb}. Available from
the IEEE Service Center, Piscataway, NJ, USA.",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
}
From: Bibliography of material on floating-point arithmetic
@Manual{IEEE:1985:ASI,
author = "{IEEE Task P754}",
title = "{ANSI}\slash {IEEE} 754-1985, Standard for Binary
Floating-Point Arithmetic",
organization = "IEEE, New York",
month = aug # " 12",
year = "1985",
bibsource = "file://sunrise/u/sy/beebe/tex/bib/master.bib",
note = "A preliminary draft was published in the January 1980
issue of IEEE Computer, together with several companion
articles
\cite{Cody:1981:APF,Coonen:1981:UDN,Coonen:1980:IGP,Coonen:1981:EIG,Hough:1981:API,Stevenson:1981:PSBa,Stevenson:1981:PSBb}.
Available from the IEEE Service Center, Piscataway, NJ,
USA.",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@Article{IEEE:1985:ISBa,
author = "IEEE",
title = "{IEEE} Standard for Binary Floating-Point Arithmetic",
journal = "ACM SIGPLAN Notices",
volume = "22",
number = "2",
pages = "9--25",
month = feb,
year = "1985",
coden = "SINODQ",
ISSN = "0362-1340",
bibdate = "Wed Sep 14 19:21:18 1994",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@Book{IEEE:1985:ISBb,
author = "{IEEE Computer Society Standards Committee. Working
group of the Microprocessor Standards Subcommittee} and
{American National Standards Institute}",
title = "{IEEE} standard for binary floating-point arithmetic",
publisher = "IEEE Computer Society Press",
address = "1109 Spring Street, Suite 300, Silver Spring, MD
20910, USA",
pages = "18",
year = "1985",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
series = "ANSI/IEEE Std 754-1985.",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
keywords = "Floating-point arithmetic --- Standards.; Computer
arithmetic and logic units --- Standards.",
}
From: Bibliography of material on floating-point arithmetic
@MastersThesis{Shukla:1986:IMN,
author = "Pankaj N. Shukla",
title = "An implementation on a {MC68000\slash} {NS32081}
microcomputer of binary floating-point arithmetic based
on the {IEEE} 754 standard",
type = "Thesis (M.S.)",
school = "Michigan Technological University",
pages = "vii + 166",
year = "1986",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
keywords = "MTU Electrical Engineering. --- Thesis (M.S.).;
Michigan Technological University. --- Theses (M.S.).",
}
From: Bibliography of material on floating-point arithmetic
@MastersThesis{Baranyk:1987:EBP,
author = "Michael L. Baranyk",
title = "Extensions beyond the proposed {IEEE} standard number
754 for binary floating point arithmetic",
type = "Thesis (M.S.)",
school = "Marquette University",
address = "Milwaukee, WI, USA",
pages = "various",
year = "1987",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
keywords = "Institute of Electrical and Electronics Engineers. ---
IEEE; standard 754.; Floating-point arithmetic.; Binary
system (Mathematics)",
}
From: Bibliography of material on floating-point arithmetic
@Book{IEEE:1987:ISR,
author = "{IEEE Computer Society. Technical Committee on
Microprocessors and Microcomputers} and {IEEE Standards
Board}",
title = "{IEEE} Standard for Radix-Independent Floating-Point
Arithmetic. {ANSI\slash IEEE} Std 854-1987",
publisher = "IEEE Computer Society Press",
address = "1109 Spring Street, Suite 300, Silver Spring, MD
20910, USA",
pages = "16",
year = "1987",
ISBN = "??",
LCCN = "??",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
series = "ANSI/IEEE std 854-1987",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com="# " and " # "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
annote = "At head of title: An American National Standard.
``Approved March 12, 1987 IEEE Standards Board;
Approved September 10, 1987 American National Standards
Institute.''",
keywords = "Floating-point arithmetic.; FLOATING POINT ARITHMETIC;
STANDARDS",
}
From: Bibliography of material on floating-point arithmetic
@MastersThesis{Rajanala:1988:ISP,
author = "Arunkumar V. Rajanala",
title = "{IEEE} 754 single precision standard compatible
floating point processor implemented using silicon
compiler technology",
type = "Thesis (M.S.)",
school = "Oregon State University",
address = "Corvallis, OR, USA",
pages = "77",
year = "1988",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
keywords = "Floating-point arithmetic.; Microprocessors.",
}
From: Bibliography of material on floating-point arithmetic
@TechReport{Cody:1989:AXF,
author = "W. J. Cody",
title = "Algorithm {XXX}: Functions to Support the {IEEE}
Standard for Binary Floating-Point Arithmetic",
number = "MCS-P90-0789",
institution = "Mathematics and Computer Science Division, Argonne
National Laboratory",
address = "Argonne, IL, USA",
pages = "??",
month = jul,
year = "1989",
bibdate = "Thu Sep 01 10:38:08 1994",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@InProceedings{Pan:1990:FSI,
author = "J. Pan and K. N. Levitz",
editor = "R. R. Chen",
title = "A Formal Specification of the {IEEE Floating-Point
Standard} with Application to the Verification of
Floating-Point Coprocessors",
crossref = "Chen:1990:CRT",
pages = "505--510",
year = "1990",
bibdate = "Wed Dec 13 18:41:54 1995",
note = "2 vol.",
abstract = "A description is given of work in progress on
verifying a floating-point coprocessor based on the
MC68881/82, with respect to the IEEE standard
floating-point arithmetic (ANSI-IEEE Std 754-1985). A
complete formalization of the IEEE floating-point
standard using the HOL (high-order-logic) specification
and verification system is presented. The specification
of floating-point numbers, floating-point arithmetic
functions, rounding schemes and post-normalization is
described. In order for the specification to be
adaptable to different implementation, several model
parameters are used in specifying all the functions.
The floating-point coprocessor is specified as a
hierarchy of interpreters. The communication with the
CPU is modeled as standard interprocessor
communication. A technique for verifying hierarchies of
communicating hardware interpreters is described. (11
Refs.)",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|"# " and " # "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
affiliation = "Div. of Comput. Sci., California Univ., Berkeley, CA,
USA",
availability = "IEEE Computer Society Press, Los Alamitos, CA, USA",
classification = "C5230 (Digital arithmetic methods); C5130
(Microprocessor chips)",
confdate = "5-7 Nov. 1990",
conflocation = "Pacific Grove, CA, USA",
confsponsor = "IEEE; Naval Post Graduate Sch",
keywords = "Standard formalization; CPU communication; Higher
order logic specification; Interpreter hierarchy;
Floating-point coprocessors; MC68881/82; IEEE standard
floating-point arithmetic; ANSI-IEEE Std 754-1985; HOL;
Verification system; Rounding schemes;
Post-normalization; Interprocessor communication;
Communicating hardware interpreters",
language = "English",
pubcountry = "USA",
thesaurus = "Digital arithmetic; Formal specification;
Microprocessor chips; Satellite computers; Standards",
}
From: Bibliography of material on floating-point arithmetic
@InProceedings{Bohlender:1991:VEI,
author = "Gerd Bohlender",
editor = "E. Kaucher and S. M. Markov and G. Mayer",
title = "A Vector Extension of the {IEEE} Standard for
Floating-Point Arithmetic",
crossref = "Kaucher:1991:CAS",
pages = "3--12",
year = "1991",
bibdate = "Wed Dec 13 18:41:16 1995",
abstract = "The IEEE standard for floating-point arithmetic aims
at improving security, accuracy, reliability, and
compatibility of floating-point computations. However,
the standard only specifies single, double, and
extended precision operations for real operands.
Therefore, often only these operations are available in
hardware on customary floating-point processors. Vector
and matrix operations, complex operations, and interval
operations, in contrast have to be simulated in the
traditional way, using sequences of rounded operations.
This method leads to an unnecessary loss of accuracy
and efficiency. As floating-point processors more and
more evolve into vector processors for sophisticated
numerical applications, the same aims should be
satisfied for all operations on the customary numerical
data types. The paper proposes a vector extension of
the IEEE standard which leads to improved operations in
higher numerical spaces.",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
affiliation = "Inst. fur Angewandte Math., Karlsruhe Univ., Germany",
classification = "C5230 (Digital arithmetic methods); C5220P (Parallel
architecture)",
confdate = "24-28 Sept. 1990",
conflocation = "Albena, Bulgaria",
keywords = "IEEE standard; Floating-point arithmetic;
Floating-point processors; Vector processors; Numerical
data types",
language = "English",
pubcountry = "Switzerland",
thesaurus = "Digital arithmetic; Standards; Vector processor
systems",
}
From: Bibliography of material on floating-point arithmetic
@Article{Gal:1991:AEM,
author = "Shmuel Gal and Boris Bachelis",
title = "An Accurate Elementary Mathematical Library for the
{IEEE} Floating Point Standard",
journal = "ACM Transactions on Mathematical Software",
volume = "17",
number = "1",
pages = "26--45",
month = mar,
year = "1991",
coden = "ACMSCU",
ISSN = "0098-3500",
mrclass = "65D20 (65-0465D15)",
mrnumber = "92a:65069",
bibdate = "Fri Dec 8 08:24:13 1995",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@Article{Cody:1993:AFS,
author = "W. J. Cody and Jerome T. Coonen",
title = "Algorithm 722: Functions to Support the {IEEE}
Standard for Binary Floating-Point Arithmetic",
journal = "ACM Transactions on Mathematical Software",
volume = "19",
number = "4",
pages = "443--451",
month = dec,
year = "1993",
coden = "ACMSCU",
ISSN = "0098-3500",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
abstract = "This paper describes C programs for the support
functions copysign(x,y), logb(x), scalb(x,n),
nextafter(x,y), finite(x), and isnan(x) recommended in
the Appendix to the IEEE Standard for Binary
Floating-Point Arithmetic. In the case of logb, the
modified definition given in the later IEEE Standard
for Radix-Independent Floating-Point Arithmetic is
followed. These programs should run without
modification on most systems conforming to the binary
standard.",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|"# " and " # "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
affiliation = "Argonne Nat. Lab., IL, USA",
classification = "C7310 (Mathematics); C6130 (Data handling
techniques); C5230 (Digital arithmetic methods)",
keywords = "Numerical software; IEEE Standard for Binary
Floating-point arithmetic; C programs; Copysign(x,y);
Logb(x); Scalb(x,n); Nextafter(x,y); Finite(x);
Isnan(x)",
language = "English",
pubcountry = "USA",
thesaurus = "Data handling; Digital arithmetic; Mathematics
computing; Standards",
}
From: Bibliography of material on floating-point arithmetic
@MastersThesis{Schoss:1994:ISF,
author = "H. Schoss",
title = "{Intervall Standardfunktionen f{\"{u}}r das
bin{\"{a}}re {IEEE} Zahlenformat} \toenglish {Interval
Standard Functions for the Binary {IEEE} Number Format}
\endtoenglish",
type = "Diplomarbeit",
school = "Institut f{\"{u}}r angewandte Mathematik,
Universit{\"{a}}t Karlsruhe",
address = "Karlsruhe, Germany",
pages = "??",
month = mar,
year = "1994",
bibdate = "Fri Sep 16 16:30:40 1994",
bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
acknowledgement = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara,
CA 95054 USA email: \path=norbert@iit.com=",
}
From: Bibliography of material on floating-point arithmetic
@TechReport{Miner:1995:DIF,
author = "Paul S. Miner",
title = "Defining the {IEEE-854} floating-point standard in
{PVS}",
institution = "National Aeronautics and Space Administration, Langley
Research Center; National Technical Information
Service, distributor",
address = "Hampton, VA, USA",
year = "1995",
bibdate = "Sat Feb 24 15:01:45 MST 1996",
series = "NASA technical memorandum; 110167",
acknowledgement = "Nelson H. F. Beebe, Center for Scientific Computing,
Department of Mathematics, University of Utah, Salt
Lake City, UT 84112, USA, Tel: +1 801 581 5254, FAX: +1
801 581 4148, e-mail: \path|beebe@math.utah.edu|",
alttitle = "Defining the IEEE 854 floating point standard in PVS
Defining the IEEE eight hundred fifty-four floating
point standard in PVS",
annote = "Distributed to depository libraries in microfiche.
Shipping list no.: 96-0033-M. Microfiche. [Washington,
D.C.: National Aeronautics and Space Administration,
1995] 1 microfiche.",
govtdocnumber = "NAS 1.15:110167 0830-D (MF)",
keywords = "Floating point arithmetic.; Formalism.; Prototypes.;
Proving.",
}
No more results
This page is part of the MultiText Project