Sciweavers

11653 search results - page 360 / 2331
» The Development of the C Language
Sort
View
209
Voted
SIGMOD
2003
ACM
162views Database» more  SIGMOD 2003»
16 years 7 months ago
DBGlobe: a service-oriented P2P system for global computing
The challenge of peer-to-peer computing goes beyond simple file sharing. In the DBGlobe project, we view the multitude of peers carrying data and services as a superdatabase. Our ...
Evaggelia Pitoura, Serge Abiteboul, Dieter Pfoser,...
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
16 years 3 months ago
Requirements and Concepts for Transaction Level Assertions
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas ...
ASPLOS
2010
ACM
16 years 1 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
16 years 1 months ago
Distributed Watchpoints: Debugging Large Multi-Robot Systems
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
Michael DeRosa, Jason Campbell, Padmanabhan Pillai...
WECWIS
2007
IEEE
115views ECommerce» more  WECWIS 2007»
16 years 1 months ago
WSC-07: Evolving the Web Services Challenge
Service-oriented architecture (SOA) is an evolving architectural paradigm where businesses can expose their capabilities as modular, network-accessible software services. By decom...
M. Brian Blake, William Kwok-Wai Cheung, Michael C...