7452 search results - page 1220 / 1491 » A Semantics for Multiprocessor Systems |
146
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
199
click to vote
ECRTS
2006
IEEE
16 years 22 days ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
195
click to vote
IEEEARES
2006
IEEE
16 years 21 days ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
147
click to vote
SAINT
2006
IEEE
16 years 20 days ago
2006
IEEE
Inter-organizational projects involve the creation, modification and management of content. Unless carefully handled, these overheads can cause the loss of mutual understanding. ...
146
click to vote
APLAS
2006
ACM
16 years 19 days ago
2006
ACM
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...