4520 search results - page 287 / 904 » Algebraic Techniques for Timed Systems |
202
click to vote
AAAI
1996
15 years 8 months ago
1996
Anytime algorithms offer a tradeoff between solution quality and computation time that has proved useful in applying artificial intelligence techniques to time-critical problems. ...
231
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
260
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
184
click to vote
HIPC
2004
Springer
16 years 24 days ago
2004
Springer
It is well known that in a typical real-time system, certain parameters, such as the execution time of a job, are not fixed numbers. In such systems, it is common to characterize ...
188
click to vote
CASES
2003
ACM
16 years 20 days ago
2003
ACM
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...