6303 search results - page 255 / 1261 » A Generated Management for Distributed Systems |
157
click to vote
SDL
2003
15 years 5 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
155
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
128
click to vote
ICNS
2006
IEEE
15 years 10 months ago
2006
IEEE
The emergence of middleware solutions and new services, even on small devices, will need adapted distributed management solutions which address these specificities, both in terms ...
134
click to vote
GRID
2008
Springer
15 years 3 months ago
2008
Springer
The medical community is producing and manipulating a tremendous volume of digital data for which computerized archiving, processing and analysis is needed. Grid infrastructures ar...
117
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
The Network Weather Service NWS is a distributed resource monitoring and utilization prediction system, employed as an aid to scheduling jobs in a metacomputing environment 9, 1...