1677 search results - page 58 / 336 » On the Completeness of Quantum Computation Models |
113
click to vote
IWFM
2003
15 years 2 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
119
click to vote
CA
2000
IEEE
15 years 5 months ago
2000
IEEE
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since it is not possible to construct in real...
DAC
1999
ACM
15 years 5 months ago
1999
ACM
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...
119
click to vote
TOCS
2008
15 years 1 months ago
2008
We present an adaptive work-stealing thread scheduler, ASTEAL, for fork-join multithreaded jobs, like those written using the Cilk multithreaded language or the Hood work-stealing...
BPM
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...