7099 search results - page 363 / 1420 » Context for models of concurrency |
173
click to vote
PPOPP
2009
ACM
16 years 8 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
176
Voted
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
207
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
228
Voted
MM
2003
ACM
16 years 25 days ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
230
Voted
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...