Sciweavers

15155 search results - page 27 / 3031
» System Software
Sort
View
TIC
1998
Springer
13 years 11 months ago
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fähndrich, Jeffrey S....
LCR
2000
Springer
126views System Software» more  LCR 2000»
13 years 11 months ago
High Level Programming Methodologies for Data Intensive Computations
Gagan Agrawal, Renato Ferreira, Ruoming Jin, Joel ...
CASES
2005
ACM
13 years 9 months ago
Equivalence checking of arithmetic expressions using fast evaluation
Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nic...
CASES
2005
ACM
13 years 9 months ago
The microarchitecture of FPGA-based soft processors
Peter Yiannacouras, Jonathan Rose, J. Gregory Stef...