Sciweavers

3153 search results - page 267 / 631
» Programming the Grid: Component Systems for Distributed Appl...
Sort
View
IPPS
2006
IEEE
15 years 11 months ago
Performance analysis of parallel programs via message-passing graph traversal
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
Matthew J. Sottile, Vaddadi P. Chandu, David A. Ba...
IJSN
2006
78views more  IJSN 2006»
15 years 5 months ago
An approach to synthesise safe systems
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
Arshad Jhumka, Felix C. Freiling, Christof Fetzer,...
187
Voted
ANSS
2008
IEEE
15 years 11 months ago
Simulation of Buffer Management Policies in Networks for Grids
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...
Agustín C. Caminero, Anthony Sulistio, Blan...
SIGIR
2003
ACM
15 years 10 months ago
The MIND Architecture for Heterogeneous Multimedia Federated Digital Libraries
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
Henrik Nottelmann, Norbert Fuhr
170
Voted
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
15 years 10 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...