2227 search results - page 207 / 446 » Reversibility and Models for Concurrency |
141
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
195
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...
210
click to vote
OMER
2001
15 years 8 months ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
194
click to vote
MEMICS
2010
15 years 1 months ago
2010
Embedded Block Coding with Optimal Truncation (EBCOT) is the fundamental and computationally very demanding part of the compression process of JPEG2000 image compression standard. ...
156
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...