334 search results - page 56 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
132
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
—We study the problem of scheduling periodic real-time tasks which have individual minimum reward requirements. We consider situations where tasks generate jobs that can be provi...
139
click to vote
RTS
2011
14 years 11 months ago
2011
—Preemptive scheduling often generates a significant runtime overhead that may increase task worst-case execution times up to 40%, with respect to a fully non preemptive executi...
163
click to vote
SENSYS
2010
ACM
15 years 1 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
121
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Locating arteries hidden beneath superficial tissue can be a difficult task in minimally invasive surgery. This paper reports the development of a system that finds the paths of a...
127
click to vote
DATAMINE
2006
15 years 3 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...