3575 search results - page 121 / 715 » Modeling Concurrency with Geometry |
123
Voted
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
126
click to vote
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
123
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
115
click to vote
PODC
2010
ACM
15 years 5 months ago
2010
ACM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...
116
click to vote
COMPSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...