Sciweavers

4513 search results - page 731 / 903
» Modeling with a Sense of Purpose
Sort
View
CODES
2006
IEEE
16 years 20 days ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
16 years 20 days ago
Lens aberration aware timing-driven placement
Process variations due to lens aberrations are to a large extent systematic, and can be modeled for purposes of analyses and optimizations in the design phase. Traditionally, vari...
Andrew B. Kahng, Chul-Hong Park, Puneet Sharma, Qi...
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
16 years 20 days ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu
HICSS
2006
IEEE
141views Biometrics» more  HICSS 2006»
16 years 19 days ago
Infusing an Architectural Framework with Neo-Institutional Theory: Reports from Recent Change Management Initiatives within the
Swedish public administration is currently undergoing radical change towards dynamic models of governance relying on a high level of intergovernmental collaboration. This high lev...
Johan Magnusson, Andreas Nilsson
HICSS
2006
IEEE
93views Biometrics» more  HICSS 2006»
16 years 19 days ago
Presenting the Past: A Framework for Facilitating the Externalization and Articulation of User Activities in Desktop Environment
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
Kimmo Wideroos, Samuli Pekkola