4520 search results - page 740 / 904 » Algebraic Techniques for Timed Systems |
174
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
Our current concern is a scalable infrastructure for information retrieval (IR) with up-to-date retrieval results in the presence of frequent, continuous updates. Timely processin...
191
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
175
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
191
click to vote
USENIX
2007
15 years 8 months ago
2007
Current disk prefetch policies in major operating systems track access patterns at the level of the file abstraction. While this is useful for exploiting application-level access...
238
click to vote
WCET
2010
15 years 4 months ago
2010
The assumption of task independence has long been consubstantial with the formulation of many schedulability analysis techniques. That assumption is evidently advantageous for the...