Sciweavers

2226 search results - page 125 / 446
» Computable Analysis via Representations
Sort
View
DAC
2006
ACM
16 years 5 months ago
Criticality computation in parameterized statistical timing
Chips manufactured in 90 nm technology have shown large parametric variations, and a worsening trend is predicted. These parametric variations make circuit optimization difficult ...
Jinjun Xiong, Vladimir Zolotov, Natesan Venkateswa...
COORDINATION
2004
Springer
15 years 10 months ago
Problem Frames: A Case for Coordination
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
Leonor Barroca, José Luiz Fiadeiro, Michael...
CDC
2009
IEEE
15 years 9 months ago
Schur-based decomposition for reachability analysis of linear time-invariant systems
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
Shahab Kaynama, Meeko Oishi
ERCIMDL
2005
Springer
124views Education» more  ERCIMDL 2005»
15 years 10 months ago
A Comparison of On-Line Computer Science Citation Databases
This paper examines the difference and similarities between the two on-line computer science citation databases DBLP and CiteSeer. The database entries in DBLP are inserted manual...
Vaclav Petricek, Ingemar J. Cox, Hui Han, Isaac G....
ERSA
2010
119views Hardware» more  ERSA 2010»
15 years 2 months ago
Performance Visualization and Exploration for Reconfigurable Computing Applications
Reconfigurable computing (RC) applications have the potential for significant performance while consuming little power. Although runtime performance analysis of RC applications has...
Seth Koehler, Alan D. George