4299 search results - page 239 / 860 » Concurrent Test Generation |
148
click to vote
ADBIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
133
click to vote
ROOM
2000
15 years 5 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
140
click to vote
ENTCS
2008
15 years 4 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
138
click to vote
TSMC
1998
15 years 3 months ago
1998
Abstract—We present a general scheme for learning sensorimotor tasks which allows rapid on-line learning and generalization of the learned knowledge to unfamiliar objects. The sc...
164
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for determining whether a given collection of jobs can be scheduled to m...