Sciweavers

3522 search results - page 226 / 705
» Incremental physical design
Sort
View
TCAD
2010
102views more  TCAD 2010»
15 years 1 months ago
Functional Test Generation Using Efficient Property Clustering and Learning Techniques
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Mingsong Chen, Prabhat Mishra
CVPR
2012
IEEE
13 years 9 months ago
Discrete texture traces: Topological representation of geometric context
Modeling representations of image patches that are quasi-invariant to spatial deformations is an important problem in computer vision. In this paper, we propose a novel concept, t...
Jan Ernst, Maneesh Kumar Singh, Visvanathan Ramesh
HPDC
2012
IEEE
13 years 9 months ago
Work stealing and persistence-based load balancers for iterative overdecomposed applications
Applications often involve iterative execution of identical or slowly evolving calculations. Such applications require incremental rebalancing to improve load balance across itera...
Jonathan Lifflander, Sriram Krishnamoorthy, Laxmik...
QI
2009
Springer
160views Physics» more  QI 2009»
16 years 1 months ago
Beyond Ontology in Information Systems
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
Christian Flender, Kirsty Kitto, Peter Bruza
ICRA
2008
IEEE
109views Robotics» more  ICRA 2008»
16 years 1 months ago
Use of a novel multipart controller for the parametric study of a trotting quadruped robot
— In this paper a novel multipart control is developed for a trotting quadruped robot. The control is designed to drive the quadruped to a steady-state motion with desired forwar...
Nicholas Cherouvim, Evangelos Papadopoulos