Sciweavers

740 search results - page 28 / 148
» Constraints in Object-Oriented Analysis and Design
Sort
View
ASPDAC
2007
ACM
136views Hardware» more  ASPDAC 2007»
14 years 25 days ago
Design tool solutions for mixed-signal/RF circuit design in CMOS nanometer technologies
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...
Georges G. E. Gielen
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
14 years 27 days ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
JSW
2008
130views more  JSW 2008»
13 years 8 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
CVPR
2012
IEEE
11 years 11 months ago
Recovering free space of indoor scenes from a single image
In this paper we consider the problem of recovering the free space of an indoor scene from its single image. We show that exploiting the box like geometric structure of furniture ...
Varsha Hedau, Derek Hoiem, David A. Forsyth
KBSE
2006
IEEE
14 years 2 months ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan