Sciweavers

15155 search results - page 27 / 3031
» System Software
Sort
View
TIC
1998
Springer
15 years 5 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 5 months ago
High Level Programming Methodologies for Data Intensive Computations
Gagan Agrawal, Renato Ferreira, Ruoming Jin, Joel ...
93
Voted
CASES
2008
ACM
15 years 4 months ago
A low-power parallel design of discrete wavelet transform using subthreshold voltage technology
Michael B. Henry, Syed Imtiaz Haider, Leyla Nazhan...
CASES
2005
ACM
15 years 4 months ago
Equivalence checking of arithmetic expressions using fast evaluation
Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nic...
CASES
2005
ACM
15 years 4 months ago
The microarchitecture of FPGA-based soft processors
Peter Yiannacouras, Jonathan Rose, J. Gregory Stef...