571 search results - page 83 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
86
Voted
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
Existing Grid workflow tools assume that individual components either communicate by passing files from one application to another, or are explicitly linked using interprocess com...
ISPDC
2010
IEEE
14 years 8 months ago
2010
IEEE
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...
AUTOMATICA
2005
14 years 9 months ago
2005
In this paper, by introducing the concept of command-to-state/output mapping, it is shown that the state of an uncertain nonlinear system can robustly be estimated if command-to-s...
100
click to vote
CIE
2008
Springer
14 years 11 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
63
Voted
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
The increasing availability of high-performance computing systems with thousands, tens of thousands, and even hundreds of thousands of computational nodes is driving the demand fo...