PODC
1999
ACM
14 years 3 days ago
1999
ACM
PODC
1999
ACM
14 years 3 days ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
PDP
2010
IEEE
14 years 3 days ago
2010
IEEE
In the last years high performance processor designs have evolved toward Chip-Multiprocessor (CMP) architectures that implement multiple processing cores on a single die. As the nu...
PDP
2010
IEEE
14 years 3 days ago
2010
IEEE
Scheduling large amounts of tasks in distributed computing platforms composed of millions of nodes is a challenging goal, even more in a fully decentralized way and with low overhe...
PDP
2010
IEEE
14 years 3 days ago
2010
IEEE
The increasing numbers of cores, shared caches and memory nodes within machines introduces a complex hardware topology. High-performance computing applications now have to carefull...
PDP
2010
IEEE
14 years 3 days ago
2010
IEEE
The commercial success of Cloud computing and recent developments in Grid computing have brought platform virtualization technology into the field of high performance computing. Vi...
SPAA
2010
ACM
14 years 4 days ago
2010
ACM
In dynamically multithreaded platforms that employ work stealing, there appears to be a fundamental tradeoff between providing provably good time and space bounds and supporting S...
ECOOPW
2000
Springer
14 years 4 days ago
2000
Springer
This report summarizes the presentations, discussions, and outcomes of the ECOOP’2000 Workshop on Object Interoperability, held in Sophia Antipolis, France, on Monday, June 12, 2...
ECOOPW
2000
Springer
14 years 4 days ago
2000
Springer
The objective of this workshop was to discuss current tools and environments for learning object-oriented concepts and to share ideas and experiences about the usage of computer su...
ECOOPW
2000
Springer
14 years 4 days ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...