1882 search results - page 298 / 377 » Transformational Programming and Forests |
148
Voted
IEEEINTERACT
2003
IEEE
15 years 9 months ago
2003
IEEE
: The traditional framework for back-end compilation is based on the scope of functions, which is a natural boundary to partition an entire program for compilation. However, the si...
149
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
136
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
144
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
148
Voted
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...