655 search results - page 115 / 131 » Coinduction in Concurrent Timed Systems |
139
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
151
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
151
Voted
NETWORK
2008
15 years 3 months ago
2008
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
144
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
236
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...