Sciweavers

4586 search results - page 436 / 918
» Computing stable models in parallel
Sort
View
WSC
2007
15 years 9 months ago
Monte Carlo methods in the physical sciences
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
Malvin H. Kalos
IPPS
2009
IEEE
16 years 1 months ago
Deadlock prevention by turn prohibition in interconnection networks
Abstract—In this paper we consider the problem of constructing minimal cycle-breaking sets of turns for graphs that model communication networks, as a method to prevent deadlocks...
Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa
COORDINATION
2005
Springer
16 years 7 days ago
Synchronized Hyperedge Replacement for Heterogeneous Systems
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
Ivan Lanese, Emilio Tuosto
SAG
2004
Springer
16 years 1 days ago
A Generic Architecture for Sensor Data Integration with the Grid
This paper describes the design and implementation of a model of how to integrate sensors and devices into a GRID infrastructure. We describe its proxy-based approach, the port-ty...
Jan Humble, Chris Greenhalgh, Alastair Hampshire, ...
PDP
2003
IEEE
15 years 12 months ago
Building Grid MPI Applications from Modular Components
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
Yiannis Cotronis