Sciweavers

419 search results - page 25 / 84
» A Thread of HOL Development
Sort
View
ECRTS
2003
IEEE
15 years 5 months ago
A Real-Time RMI Framework for the RTSJ
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
Andrew Borg, Andy J. Wellings
IPPS
2006
IEEE
15 years 5 months ago
Composite Abortable Locks
The need to allow threads to abort an attempt to acquire a lock (sometimes called a timeout) is an interesting new requirement driven by state-of-the-art database applications wit...
Virendra J. Marathe, Mark Moir, Nir Shavit
JOT
2002
105views more  JOT 2002»
14 years 11 months ago
Java Distributed Separate Objects
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match well with the object concept, and JRMI cannot easily...
Miguel Katrib, Iskander Sierra, Mario del Valle, T...
CHI
2009
ACM
16 years 11 days ago
Pulp-based computing: a framework for building computers out of paper
In this paper, we describe a series of techniques for building sensors, actuators and circuit boards that behave, look, and feel like paper. By embedding electro-active inks, condu...
Marcelo Coelho, Lyndl Hall, Joanna Berzowska, Patt...
CACM
2010
179views more  CACM 2010»
14 years 12 months ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...