4520 search results - page 357 / 904 » Algebraic Techniques for Timed Systems |
225
click to vote
INFOVIS
2005
IEEE
16 years 1 months ago
2005
IEEE
Many visual analysis tools operate on a fixed set of data. However, professional information analysts follow issues over a period of time and need to be able to easily add new doc...
250
click to vote
RTSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Scratchpad memory is a popular choice for on-chip storage in real-time embedded systems. The allocation of code/data to scratchpad memory is performed at compile time leading to p...
163
click to vote
IPPS
2003
IEEE
16 years 24 days ago
2003
IEEE
In this paper, we overview general hardware architecture and a programming model of SRC-6ETM reconfigurable computers, and compare the performance of the SRC-6E machine vs. IntelÂ...
199
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The computing resources in a volunteer computing system are highly diverse in terms of software and hardware type, speed, availability, reliability, network connectivity, and othe...
172
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...