247 search results - page 19 / 50 » Two Size Measures for Timed Languages |
145
click to vote
TCS
2008
15 years 5 months ago
2008
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...
131
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
136
click to vote
POS
1990
Springer
15 years 9 months ago
1990
Springer
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
131
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
126
click to vote
SIGMETRICS
1990
ACM
15 years 9 months ago
1990
ACM
Recently we presented several disk array architectures designed to increase the data rate and I/O rate of supercomputing applications, transaction processing, and file systems [Pat...