Sciweavers

706 search results - page 34 / 142
» View-Based Consistency and Its Implementation
Sort
View
ENGL
2008
44views more  ENGL 2008»
13 years 10 months ago
In-Process Electrical Dressing of Metal-Bonded Diamond Grinding Wheels
A new development of hybrid in-process electrical dressing of metal-bonded diamond grinding wheels is proposed in this paper. The electrical dressing method is used for overcoming ...
A. Sudiarso, J. Atkinson
SCP
2008
89views more  SCP 2008»
13 years 9 months ago
A challenge for atomicity verification
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
Wim H. Hesselink
ERSA
2009
146views Hardware» more  ERSA 2009»
13 years 7 months ago
Programming Model and Low-level Language for a Coarse-Grained Reconfigurable Multimedia Processor
We present the architecture and programming model for MORA, a coarse-grained reconfigurable processor aimed at multimedia applications. The MORA architecure is a MIMD machine consi...
Wim Vanderbauwhede, Martin Margala, Sai Rahul Chal...
PODC
2011
ACM
13 years 22 days ago
A nonblocking set optimized for querying the minimum value
We present the Mindicator, a set implementation customized for shared memory runtime systems. The Mindicator is optimized for constant-time querying of its minimum element, while ...
Yujie Liu, Michael F. Spear
SKG
2006
IEEE
14 years 3 months ago
Using Ontologies to Support Customisation and Maintain Interoperability in Distributed Information Systems with Application to t
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...