2943 search results - page 357 / 589 » Software Implementation of Synchronous Programs |
169
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
126
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
As the number of cores per machine increases, memory architectures are being redesigned to avoid bus contention and sustain higher throughput needs. The emergence of Non-Uniform M...
117
click to vote
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
107
click to vote
NETGAMES
2004
ACM
15 years 8 months ago
2004
ACM
Local perception filters exploit the limitations of human perception to reduce the effects of network latency in multiplayer computer games. Because they allow temporal distorti...
113
click to vote
HUC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...