3221 search results - page 186 / 645 » Termination of Linear Programs |
145
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the T...
177
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
163
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
298
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
179
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...