914 search results - page 132 / 183 » Lightweight scalable components |
105
Voted
FTDB
2007
15 years 15 days ago
2007
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industr...
104
click to vote
WINET
2002
15 years 5 days ago
2002
Abstract. The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an int...
106
click to vote
TROB
2010
14 years 11 months ago
2010
Abstract—Modular robotic systems typically assemble using deterministic processes where modules are directly placed into their target position. By contrast, stochastic modular ro...
95
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Software transactional memory (STM) algorithms often rely on centralized components to achieve atomicity, isolation and consistency. In a distributed setting, centralized...
173
click to vote
FASE
2011
Springer
14 years 4 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...