Sciweavers

2841 search results - page 61 / 569
» A Call to Order
Sort
View
JDM
1998
101views more  JDM 1998»
14 years 9 months ago
Fault-Tolerant Quorum Consensus Scheme for Replication Control in Mobile Distributed Database Systems
We propose a new replication control scheme for multiple-copy consistency in mobile distributed database systems. Replicating data at multiple sites could contribute to enhance th...
Siwoo Byun, Songchun Moon
SASP
2009
IEEE
156views Hardware» more  SASP 2009»
15 years 4 months ago
Introducing control-flow inclusion to support pipelining in custom instruction set extensions
—Multi-cycle Instruction set extensions (ISE) can be pipelined in order to increase their throughput; however, typical program traces seldom contain consecutive calls to the same...
Marcela Zuluaga, Theo Kluter, Philip Brisk, Nigel ...
GMP
2008
IEEE
128views Solid Modeling» more  GMP 2008»
15 years 4 months ago
A Multistep Approach to Restoration of Locally Undersampled Meshes
The paper deals with the problem of remeshing and fairing of undersampled areas (called ”holes”) in triangular meshes. In this work, we are particularly interested in meshes co...
Alexandra Bac, Nam-Van Tran, Marc Daniel
FSTTCS
2003
Springer
15 years 3 months ago
Reachability Analysis of Process Rewrite Systems
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
Ahmed Bouajjani, Tayssir Touili
APAL
2008
69views more  APAL 2008»
14 years 10 months ago
Lowness properties and approximations of the jump
We study and compare two combinatorial lowness notions: strong jump-traceability and well-approximability of the jump, by strengthening the notion of jump-traceability and super-l...
Santiago Figueira, André Nies, Frank Stepha...