4800 search results - page 638 / 960 » OO Distributed Programming is Not Distributed OO Programming |
135
click to vote
IEEEPACT
2007
IEEE
16 years 29 days ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
156
Voted
INFOCOM
2007
IEEE
16 years 29 days ago
2007
IEEE
— We focus on efficient protocols that enhance a network with topology awareness. We discuss centralized algorithms with provable performance, and introduce decentralized asynch...
216
Voted
ADBIS
2007
Springer
16 years 26 days ago
2007
Springer
ODRA (Object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of I...
166
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
177
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...