1271 search results - page 93 / 255 » On Simulation-Checking with Sequential Systems |
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
The BMI Eigenvalue Problem is one of optimization problems and is to minimize the greatest eigenvalue of a bilinear matrix function. This paper proposes a parallel algorithm to co...
ECAL
2001
Springer
14 years 3 months ago
2001
Springer
A crucial feature of evolving natural systems is parallelism. The simultaneous and distributed application of rules (governed by e.g. biochemistry) is generally considered as the p...
APLAS
2007
ACM
14 years 2 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
ACL
2003
14 years 4 days ago
2003
Multimodal dialogue systems allow users to input information in multiple modalities. These systems can handle simultaneous or sequential composite multimodal input. Different coor...
WSC
2004
14 years 3 days ago
2004
We present a new sequential, eliminating procedure for selecting the best system in a single-factor Bernoulli-response experiment with an odds-ratio indifference zone, where best ...