2300 search results - page 267 / 460 » Maximally Concurrent Programs |
208
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
179
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
164
click to vote
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
Energy is one of the limited resources for modern systems, especially the battery-operated devices and personal digital assistants. The backlog in new technologies for more powerf...
183
Voted
AMC
2007
15 years 6 months ago
2007
In a distributed computing system (DCS), we need to allocate a number of modules to different processors for execution. It is desired to maximize the processor synergism in order...
214
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
We investigate energy allocation strategies in image sensor networks for the purpose of maximizing the network operational lifetime. For the application scenarios that we consider...