3742 search results - page 691 / 749 » On the Use of Formal Techniques for Validation |
207
click to vote
ECRTS
2006
IEEE
16 years 7 days ago
2006
IEEE
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...
145
click to vote
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
171
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
163
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
162
click to vote
IWCMC
2010
ACM
15 years 11 months ago
2010
ACM
The assumption of routing symmetry is often embedded into traffic analysis and classification tools. This paper uses passively captured network data to estimate the amount of tra...