1271 search results - page 213 / 255 » On Simulation-Checking with Sequential Systems |
CL
2010
Springer
13 years 9 months ago
2010
Springer
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
ENTCS
2008
13 years 9 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
EOR
2008
13 years 9 months ago
2008
Constrained Optimization Problems (COP) often take place in many practical applications such as kinematics, chemical process optimization, power systems and so on. These problems ...
NN
2006
Springer
13 years 9 months ago
2006
Springer
The medial temporal lobe may play a critical role in binding successive events into memory while encoding contextual information in implicit and explicit memory tasks. Information...