Sciweavers

107 search results - page 16 / 22
» Detailing Architectural Design in the Tropos Methodology
Sort
View
DAC
2007
ACM
16 years 26 days ago
Transition Delay Fault Test Pattern Generation Considering Supply Voltage Noise in a SOC Design
Due to shrinking technology, increasing functional frequency and density, and reduced noise margins with supply voltage scaling, the sensitivity of designs to supply voltage noise...
Nisar Ahmed, Mohammad Tehranipoor, Vinay Jayaram
HICSS
2003
IEEE
117views Biometrics» more  HICSS 2003»
15 years 5 months ago
Evolution of Planning for Wireless Communication Systems
In this paper we provide a detailed and comprehensive survey of proposed approaches for network design, charting the evolution of models and techniques for the automatic planning ...
Roger M. Whitaker, Steve Hurley
AIPS
1994
15 years 1 months ago
Becoming Increasingly Reliable
Autonomousmobile robots need to detect potential failures reliably and react appropriately. Dueto uncertainties about the robots and their environment,it is extremelydifficult to ...
Reid G. Simmons
IIWAS
2008
15 years 1 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
DAC
2004
ACM
16 years 25 days ago
Automated energy/performance macromodeling of embedded software
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
Anish Muttreja, Anand Raghunathan, Srivaths Ravi, ...