3307 search results - page 87 / 662 » The meaning of concurrent programs |
94
Voted
BMCBI
2005
15 years 17 days ago
2005
Background: We have developed the program PERMOL for semi-automated homology modeling of proteins. It is based on restrained molecular dynamics using a simulated annealing protoco...
100
click to vote
JFP
2007
15 years 17 days ago
2007
Asynchronous exceptions, or interrupts, are important for writing robust, modular programs, but are traditionally viewed as being difficult from a semantic perspective. In this ar...
118
Voted
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
85
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
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...