372 search results - page 33 / 75 » From Data to Events: Checking Properties on the Control of a... |
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
POPL
1997
ACM
14 years 26 days ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
RTCSA
1999
IEEE
14 years 28 days ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
POPL
2003
ACM
14 years 9 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
NIPS
1993
13 years 10 months ago
1993
We consider the problem of how the CNS learns to control dynamics of a mechanical system. By using a paradigm where a subject's hand interacts with a virtual mechanical envir...