562 search results - page 96 / 113 » Concurrent Turing Machines |
DSN
2009
IEEE
15 years 6 months ago
2009
IEEE
A virtual networked environment (VNE) consists of virtual machines (VMs) connected by a virtual network. It has been adopted to create “virtual infrastructures” for individual...
127
click to vote
SIES
2009
IEEE
15 years 6 months ago
2009
IEEE
—We introduce variable-bandwidth servers (VBS) for scheduling and executing processes under programmable temporal isolation. A VBS is an extension of a constant-bandwidth server ...
83
Voted
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
108
click to vote
CCGRID
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Scientific computing is being increasingly deployed over volunteer-based distributed computing environments consisting of idle resources on donated user machines. A fu...
103
click to vote
FCCM
2007
IEEE
15 years 6 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...