Sciweavers

1249 search results - page 119 / 250
» State Machine Modeling: From Synch States to Synchronized St...
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.
ISCA
2012
IEEE
224views Hardware» more  ISCA 2012»
13 years 8 months ago
A first-order mechanistic model for architectural vulnerability factor
Soft error reliability has become a first-order design criterion for modern microprocessors. Architectural Vulnerability Factor (AVF) modeling is often used to capture the probab...
Arun A. Nair, Stijn Eyerman, Lieven Eeckhout, Lizy...
COLING
2008
15 years 7 months ago
Multilingual Alignments by Monolingual String Differences
We propose a method to obtain subsentential alignments from several languages simultaneously. The method handles several languages at once, and avoids the complexity explosion due...
Adrien Lardilleux, Yves Lepage
MLMI
2004
Springer
15 years 11 months ago
Multistream Dynamic Bayesian Network for Meeting Segmentation
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
Alfred Dielmann, Steve Renals
WDAG
2001
Springer
76views Algorithms» more  WDAG 2001»
15 years 10 months ago
An Effective Characterization of Computability in Anonymous Networks
We provide effective (i.e., recursive) characterizations of the relations that can be computed on networks where all processors use the same algorithm, start from the same state, a...
Paolo Boldi, Sebastiano Vigna