2930 search results - page 83 / 586 » A Constructive Approach to the Design of Distributed Systems |
118
click to vote
ASAP
2005
IEEE
15 years 7 months ago
2005
IEEE
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach i...
100
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
In this work, the focus is put on the behavior of a system in case a fault occurs that disables the system from executing its applications. Instead of executing a random subset of...
134
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
125
Voted
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
109
click to vote
WETICE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Social networking web sites, which allow users to create identities and link them to friends who have also created identities, are highly popular. Systems such as Facebook and M...