Sciweavers

4385 search results - page 155 / 877
» Abstraction for Concurrent Objects
Sort
View
SIGMOD
2011
ACM
171views Database» more  SIGMOD 2011»
14 years 2 months ago
BRRL: a recovery library for main-memory applications in the cloud
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...
Tuan Cao, Benjamin Sowell, Marcos Antonio Vaz Sall...
CORR
2002
Springer
131views Education» more  CORR 2002»
14 years 11 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
TKDE
2002
140views more  TKDE 2002»
14 years 11 months ago
Transaction Processing in Mobile, Heterogeneous Database Systems
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...
James B. Lim, Ali R. Hurson
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
15 years 8 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
COSIT
2009
Springer
130views GIS» more  COSIT 2009»
15 years 5 months ago
Case-Based Reasoning for Eliciting the Evolution of Geospatial Objects
Abstract.Abstract.Abstract. This paper proposes an automated approach for describing how geospatial objects evolve. We consider geospatial objects whose boundaries and properties c...
Joice Seleme Mota, Gilberto Câmara, Maria Is...