1446 search results - page 229 / 290 » Hardware Software Co-Design Using Functional Languages |
122
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
126
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
190
click to vote
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...
109
click to vote
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
TEI
2010
ACM
15 years 9 months ago
2010
ACM
We describe an approach for a class of tangible interaction elements that are applicable across a broad variety of interactive systems. These tangibles share certain physical, vis...