Sciweavers

419 search results - page 25 / 84
» A Thread of HOL Development
Sort
View
163
Voted
ECRTS
2003
IEEE
15 years 10 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 11 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 4 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...
125
Voted
CHI
2009
ACM
16 years 5 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...
157
Voted
CACM
2010
179views more  CACM 2010»
15 years 5 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...