Sciweavers

1209 search results - page 132 / 242
» Approximation by pseudo-linear operators
Sort
View
USENIX
2001
15 years 7 months ago
User-Level Checkpointing for LinuxThreads Programs
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
William R. Dieter, James E. Lumpp Jr.
159
Voted
OSDI
1996
ACM
15 years 7 months ago
Online Data-Race Detection via Coherency Guarantees
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
Dejan Perkovic, Peter J. Keleher
172
Voted
DMSN
2010
ACM
15 years 7 months ago
PAO: power-efficient attribution of outliers in wireless sensor networks
Sensor nodes constitute inexpensive, disposable devices that are often scattered in harsh environments of interest so as to collect and communicate desired measurements of monitor...
Nikos Giatrakos, Yannis Kotidis, Antonios Deligian...
ECAI
2010
Springer
15 years 7 months ago
The Epistemic View of Belief Merging: Can We Track the Truth?
Abstract. Belief merging is often described as the process of defining a base which best represents the beliefs of a group of agents (a profile of belief bases). The resulting base...
Patricia Everaere, Sébastien Konieczny, Pie...
SMA
2010
ACM
181views Solid Modeling» more  SMA 2010»
15 years 6 months ago
Merging and smoothing machining boundaries on cutter location surfaces
In region machining, neighbouring regions may be close together, but disconnected. Boundary curves may also have unwanted geometric artifacts caused by approximation and discretis...
Weishi Li, Ralph R. Martin, Frank C. Langbein