5615 search results - page 266 / 1123 » On the Computational Capabilities of Several Models |
156
click to vote
CAAP
1990
15 years 11 months ago
1990
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...
157
click to vote
Lecture Notes
These notes cover several topics such as Traditional Models of Monetary Policy, Microfoundations of Monetary Policy Models, Looking into Some Recent Models of Monetary Policy, Solv...
235
click to vote
Lecture Notes
These notes cover several topics such as Money Demand (and some Supply), The Price of Money, Derivations of the Pricing Relations, Money and Sticky Prices: A First Look, Money in M...
215
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
167
click to vote
TCS
1998
15 years 7 months ago
1998
This paper presents algorithms and lower bounds for several fundamental problems on the Exclusive Read, Concurrent Write Parallel Random Access Machine (ERCW PRAM) and some result...