385 search results - page 50 / 77 » Semi-automatic Distributed Synthesis |
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
In times of disaster acquiring aerial images is challenging. Runways may be crippled thus denying conventional aircraft in the area from taking off. Also the time required to sch...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
The lack of high-level design tools hampers the widespread adoption of adaptive computing systems. Application developers have to master a wide range of functions, from the high-le...
EUROPAR
1999
Springer
14 years 2 months ago
1999
Springer
A fully adaptive router with hybrid bu ers at the input and output channels was designed, which improves the throughput of its input bu er counterpart by up to 40% and has only 10%...
COORDINATION
2006
Springer
14 years 1 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...