Sciweavers

3108 search results - page 425 / 622
» An Approach to Incremental Design of Distributed Embedded Sy...
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
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...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
ECOOPW
2006
Springer
15 years 10 months ago
Architecture-Centric Evolution: New Issues and Trends
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
Paris Avgeriou, Uwe Zdun, Isabelle Borne
AGENTS
2000
Springer
15 years 11 months ago
Towards a fault-tolerant multi-agent system architecture
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...
Sanjeev Kumar, Philip R. Cohen
EURODAC
1994
IEEE
127views VHDL» more  EURODAC 1994»
15 years 10 months ago
Optimal equivalent circuits for interconnect delay calculations using moments
In performance-driven interconnect design, delay estimators are used to determine both the topology and the layout of good routing trees. We address the class of moment-matching, ...
Sudhakar Muddu, Andrew B. Kahng
RTAS
2005
IEEE
16 years 6 days ago
Out-of-Norm Assertions
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
Philipp Peti, Roman Obermaisser, Hermann Kopetz