Sciweavers

1239 search results - page 49 / 248
» Techniques for the Design of Java Operating Systems
Sort
View
ICFP
1999
ACM
14 years 1 days ago
Atomic Heap Transactions and Fine-grain Interrupts
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
Olin Shivers, James W. Clark, Roland McGrath
ICSE
2009
IEEE-ACM
14 years 8 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
SRDS
2005
IEEE
14 years 1 months ago
Agile Store: Experience with Quorum-Based Data Replication Techniques for Adaptive Byzantine Fault Tolerance
Quorum protocols offer several benefits when used to maintain replicated data but techniques for reducing overheads associated with them have not been explored in detail. It is d...
Lei Kong, Deepak J. Manohar, Mustaque Ahamad, Arun...
CVRMED
1997
Springer
13 years 12 months ago
An efficient needle injection technique and radiological guidance method for percutaneous procedures
This paper presents a simple radiologicd image guidance method and robotic system optimized for percutaneous procedures.This simplicity is achieved by combining the proven guidance...
Dan Stoianovici, Jeffrey A. Cadeddu, Roger D. Dema...
NOMS
2010
IEEE
172views Communications» more  NOMS 2010»
13 years 6 months ago
ROCS: a remotely provisioned OSGi framework for ambient systems
—One of the challenges of ambient systems lies in providing all the available services of the environment to the ambient devices, even if they do not physically host those servic...
Stéphane Frénot, Noha Ibrahim, Fr&ea...