Sciweavers

1724 search results - page 22 / 345
» Models for Concurrency
Sort
View
FMSB
2008
199views Formal Methods» more  FMSB 2008»
13 years 9 months ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...
ECEASST
2011
241views ECommerce» more  ECEASST 2011»
13 years 2 months ago
Concurrent Workflow Evolution
Workflow evolution is a collective term for concepts that deal with changes of workflow models. Adapted workflow models are deployed on a workflow engine as new model version. That...
Mirko Sonntag, Dimka Karastoyanova
ICFP
2006
ACM
14 years 7 months ago
Modelling deterministic concurrent I/O
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
Malcolm Dowse, Andrew Butterfield
PLDI
2010
ACM
13 years 10 months ago
DRFX: a simple and efficient memory model for concurrent programming languages
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
Daniel Marino, Abhayendra Singh, Todd D. Millstein...
IPPS
1998
IEEE
13 years 11 months ago
An Object Model for Multiprogramming
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
Jayadev Misra