4666 search results - page 673 / 934 » Equations on Timed Languages |
180
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
193
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...
188
click to vote
DIMEA
2008
15 years 8 months ago
2008
Motion2Sound is a program that translates motion properties into sound ones. This is done by using a motion detection system(Open Cv) and one can have as an input a live web-cam o...
220
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
190
click to vote
TOCS
2008
15 years 6 months ago
2008
We present an adaptive work-stealing thread scheduler, ASTEAL, for fork-join multithreaded jobs, like those written using the Cilk multithreaded language or the Hood work-stealing...