7080 search results - page 773 / 1416 » Designing High Integrity Systems Using Aspects |
163
click to vote
USENIX
2001
15 years 8 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
194
click to vote
ICCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
193
Voted
ISLPED
2010
ACM
15 years 7 months ago
2010
ACM
DuraCap is a solar-powered energy harvesting system that stores harvested energy in supercapacitors and is voltage-compatible with lithium-ion batteries. The use of supercapacitor...
207
click to vote
JNCA
2007
15 years 7 months ago
2007
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...
392
click to vote
RTAS
2011
IEEE
14 years 11 months ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...