Sciweavers

5180 search results - page 709 / 1036
» Concurrency, Time, and Constraints
Sort
View
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
16 years 3 days ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
ISCAS
2003
IEEE
119views Hardware» more  ISCAS 2003»
16 years 2 days ago
Simulated evolution algorithm for multiobjective VLSI netlist bi-partitioning
In this paper, the Simulated Evolution algorithm (SimE) is engineered to solve the optimization problem of multi-objective VLSI netlist bi-partitioning. The multi-objective versio...
Sadiq M. Sait, Aiman H. El-Maleh, Rush H. Al-Abuji
SBCCI
2003
ACM
96views VLSI» more  SBCCI 2003»
16 years 1 days ago
SoCIN: A Parametric and Scalable Network-on-Chip
Networks-on-Chip (NoCs) interconnection architectures to be used in future billion-transistor Systems-on-Chip (SoCs) meet the major communication requirements of these systems, of...
Cesar Albenes Zeferino, Altamiro Amadeu Susin
DATE
2010
IEEE
119views Hardware» more  DATE 2010»
15 years 12 months ago
Optimized self-tuning for circuit aging
We present a framework and control policies for optimizing dynamic control of various self-tuning parameters over lifetime in the presence of circuit aging. Our framework introduc...
Evelyn Mintarno, Joelle Skaf, Rui Zheng, Jyothi Ve...
DEXAW
2002
IEEE
138views Database» more  DEXAW 2002»
15 years 11 months ago
Middleware for Mobile Information Access
Mobile information access involves retrieving information from wired service providers. Often there are situations where the information is not available from a single service pro...
Dipanjan Chakraborty, Filip Perich, Anupam Joshi, ...