Sciweavers

5898 search results - page 644 / 1180
» Parallel Computing Environments and Methods
Sort
View
GRID
2008
Springer
15 years 8 months ago
Rescheduling co-allocation requests based on flexible advance reservations and processor remapping
Large-scale computing environments, such as TeraGrid, Distributed ASCI Supercomputer (DAS), and Grid’5000, have been using resource co-allocation to execute applications on mult...
Marco Aurélio Stelmar Netto, Rajkumar Buyya
ACHI
2010
IEEE
16 years 2 months ago
Music Box: An Algorithm for Producing Visual Music
— This research proposes a method for producing music via visual composition in a computer-game like environment. This is accomplished through the development of artificial intel...
Lindsay Grace
IPL
2007
125views more  IPL 2007»
15 years 7 months ago
State explosion in almost-sure probabilistic reachability
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
François Laroussinie, Jeremy Sproston
ISPDC
2005
IEEE
16 years 25 days ago
Coordination of Components in a Distributed Discrete-Event System
We propose a method for coordinating local components that observe a distributed discrete-event system R and execute actions depending on the current state of R. Coordination is a...
Ahmed Khoumsi
CONCUR
2005
Springer
16 years 23 days ago
Transactions in RCCS
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
Vincent Danos, Jean Krivine