Sciweavers

15155 search results - page 27 / 3031
» System Software
Sort
View
TIC
1998
Springer
15 years 3 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»
15 years 3 months ago
High Level Programming Methodologies for Data Intensive Computations
Gagan Agrawal, Renato Ferreira, Ruoming Jin, Joel ...
CASES
2005
ACM
15 years 1 months ago
Equivalence checking of arithmetic expressions using fast evaluation
Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nic...
CASES
2005
ACM
15 years 1 months ago
The microarchitecture of FPGA-based soft processors
Peter Yiannacouras, Jonathan Rose, J. Gregory Stef...