Sciweavers

6111 search results - page 875 / 1223
» Time, Hardware, and Uniformity
Sort
View
CAV
2010
Springer
190views Hardware» more  CAV 2010»
15 years 10 months ago
Measuring and Synthesizing Systems in Probabilistic Environments
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
DATE
2009
IEEE
131views Hardware» more  DATE 2009»
15 years 10 months ago
Optimizations of an application-level protocol for enhanced dependability in FlexRay
FlexRay [9] is an automotive standard for high-speed and reliable communication that is being widely deployed for next generation cars. The protocol has powerful errordetection me...
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Gius...
AICCSA
2008
IEEE
291views Hardware» more  AICCSA 2008»
15 years 8 months ago
A dynamic weighted data replication strategy in data grids
Data grids deal with a huge amount of data regularly. It is a fundamental challenge to ensure efficient accesses to such widely distributed data sets. Creating replicas to a suita...
Ruay-Shiung Chang, Hui-Ping Chang, Yun-Ting Wang
ASPDAC
2008
ACM
109views Hardware» more  ASPDAC 2008»
15 years 8 months ago
TCG-based multi-bend bus driven floorplanning
Abstract--In this paper, the problem of bus driven floorplanning is addressed. Given a set of modules and bus specifications, a floorplan solution including the bus routes will be ...
Tilen Ma, Evangeline F. Y. Young
ASPDAC
2008
ACM
107views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Full-chip thermal analysis for the early design stage via generalized integral transforms
The capability of predicting the temperature profile is critically important for timing estimation, leakage reduction, power estimation, hotspot avoidance and reliability concerns ...
Pei-Yu Huang, Chih-Kang Lin, Yu-Min Lee