308 search results - page 49 / 62 » A Functional Shell That Operates on Typed and Compiled Appli... |
134
Voted
HASKELL
2008
ACM
15 years 3 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...
128
Voted
EUROSYS
2009
ACM
15 years 12 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
131
Voted
ICCAD
2010
IEEE
15 years 22 days ago
2010
IEEE
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
100
Voted
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes the use of computer vision to support the operation of a handheld projector, and describes four applications. Projectors in the past have been used as fixed d...
146
click to vote
IEEEPACT
2002
IEEE
15 years 7 months ago
2002
IEEE
Modern embedded systems often require high degrees of instruction-level parallelism (ILP) within strict constraints on power consumption and chip cost. Unfortunately, a high-perfo...