7124 search results - page 87 / 1425 » Programming Languages and Operating Systems |
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
SIGOPSE
1998
ACM
15 years 2 months ago
1998
ACM
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
FPCA
1991
15 years 1 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...