Searching for authors named "Greg Nelson" – sorted by Relevance.
-
Fast decision procedures based on congruence closure
- Fast Decision Procedures Based on Congruence Closure GREG NELSON AND DEREK C. OPPEN Stanford
- Cited by 143 (1 self) – Add To MetaCart
-
Paper 220-31 Real Time
- Phillips and Greg Nelson ThotWave Technologies, Cary, North Carolina Real-time computing is the term used
- Add To MetaCart
-
Paper DM02 Base SAS ® vs. SAS ® Data Integration Studio: Understanding ETL and the SAS Tools Used to Support It Abstract
- to Support It Abstract Danny Grasse and Greg Nelson ThotWave Technologies, Cary, North Carolina Every data
- Add To MetaCart
-
Juno-2 Language Definition
- SRC Technical Note 1997 - 009 June 30, 1997 Juno-2 Language Definition Greg Nelson and Allan
- Cited by 1 (0 self) – Add To MetaCart
-
Data abstraction and information hiding
- Data abstraction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research
- Cited by 1 (0 self) – Add To MetaCart
-
The Juno-2 Constraint-Based Drawing Editor
- and Greg Nelson d i g i t a l Systems Research Center 130 Lytton Avenue Palo Alto, California 94301
- Cited by 33 (5 self) – Add To MetaCart
-
Juno-2 Language Definition
- SRC Technical Note 1997 - 009 June 30, 1997 Juno-2 Language Definition Greg Nelson and Allan
- Add To MetaCart
-
Some useful modula-3 interfaces
- 113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson December
- Cited by 9 (1 self) – Add To MetaCart
-
Denali: A Goal-Directed Superoptimizer
- goal-directed superoptimizer Rajeev Joshi, Greg Nelson, and Keith Randall 30 July 2001 Abstract
- Cited by 19 (2 self) – Add To MetaCart
-
Trestle reference manual
- Mark S. Manasse and Greg Nelson December 1991 Systems Research Center DEC's business and technology
- Cited by 20 (4 self) – Add To MetaCart

