562 search results - page 79 / 113 » Concurrent Turing Machines |
ML
2006
ACM
14 years 11 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
TCS
1998
14 years 11 months ago
1998
This paper presents algorithms and lower bounds for several fundamental problems on the Exclusive Read, Concurrent Write Parallel Random Access Machine (ERCW PRAM) and some result...
162
click to vote
KESAMSTA
2011
Springer
14 years 2 months ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
117
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
111
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
– Maximizing consolidation ratio, the number of virtual machines (VMs) in a physical machine, without violating customers’ SLAs is an important goal in the cloud. We show that ...