Sciweavers

419 search results - page 25 / 84
» A Thread of HOL Development
Sort
View
ECRTS
2003
IEEE
15 years 8 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 9 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»
15 years 2 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 3 months 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»
15 years 3 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...