Searching for authors named "Greg Nelson" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
