670 search results - page 37 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
127
Voted
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
DSRT
2009
IEEE
15 years 4 months ago
2009
IEEE
The recent emergence of dramatically large computational power, spanning desktops with multicore processors and multiple graphics cards to supercomputers with 105 processor cores,...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
110
click to vote
ICCV
2011
IEEE
14 years 16 days ago
2011
IEEE
DTAM is a system for real-time camera tracking and reconstruction which relies not on feature extraction but dense, every pixel methods. As a single hand-held RGB camera flies ov...
102
Voted
IEICET
2006
15 years 15 days ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...