8540 search results - page 311 / 1708 » The Dynamic Servers Problem |
132
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
180
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper combines a parameter generation algorithm and a model optimization approach with the model-integration-based voice conversion (MIVC). We have proposed probabilistic int...
136
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
107
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a system for performing high precision IDDQ measurement of CMOS ICs having a large peak current during operation. Although the measurement rate is at a low sp...
134
Voted
TAPIA
2003
ACM
15 years 9 months ago
2003
ACM
We present a method for simulating rigid multibody dynamics with joints, contact, and friction. In this work, the nonsmooth contact and frictional constraints are represented by h...