527 search results - page 96 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
ICPP
2008
IEEE
15 years 3 months ago
2008
IEEE
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...
ISM
2005
IEEE
15 years 3 months ago
2005
IEEE
Multi-homed mobile devices have multiple wireless communication interfaces, each connecting to the Internet via a long range but low speed and bursty WAN link such as a cellular l...
MMAS
2004
Springer
15 years 2 months ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
DCOSS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
ARC
2008
Springer
14 years 11 months ago
2008
Springer
Reconfigurable architectures enable the hardware function to be implemented by the user and, due to its characteristics, have been used in many areas, including Bioinformatics. One...