Sciweavers

5268 search results - page 333 / 1054
» Analysis of Design Process Dynamics
Sort
View
ICCD
2006
IEEE
115views Hardware» more  ICCD 2006»
16 years 1 months ago
Long-term Performance Bottleneck Analysis and Prediction
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
Fei Gao, Suleyman Sair
HYBRID
2000
Springer
15 years 8 months ago
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
Thomas A. Henzinger, Benjamin Horowitz, Rupak Maju...
BIOADIT
2004
Springer
15 years 10 months ago
The Genealogy of Biomimetics: Half a Century?s Quest for Dynamic IT
Abstract. Biologically inspired approaches to the design of general IT are presently flourishing. Investigating the scientific and historical roots of the tendency will serve to pr...
Mikkel Holm Sørensen
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 11 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
ICRE
1996
IEEE
15 years 9 months ago
Collaboration during conceptual design
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...
Lara D. Catledge, Colin Potts