4350 search results - page 507 / 870 » Case studies for contract-based systems |
198
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper studies distributed scheduling of parallel I/O data transfers on systems that provide data replication. In our previous work, we proposed a centralized algorithm for so...
197
click to vote
DATE
2002
IEEE
16 years 20 days ago
2002
IEEE
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...
210
Voted
HASE
1998
IEEE
15 years 12 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
144
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We propose a series of methods to represent the evolution of a field of science at different levels: namely micro, meso and macro levels. We use a previously introduced asymmetric...
267
click to vote
ANTSW
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this work, we propose a method for self-organized adaptive task partitioning in a swarm of robots. Task partitioning refers to the decomposition of a task into less co...