Sciweavers

2819 search results - page 306 / 564
» Automatic Structures
Sort
View
171
Voted
ACMMSP
2006
ACM
226views Hardware» more  ACMMSP 2006»
15 years 7 months ago
Smarter garbage collection with simplifiers
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
Melissa E. O'Neill, F. Warren Burton
159
Voted
BMCBI
2006
120views more  BMCBI 2006»
15 years 3 months ago
SCOWLP: a web-based database for detailed characterization and visualization of protein interfaces
Background: Currently there is a strong need for methods that help to obtain an accurate description of protein interfaces in order to be able to understand the principles that go...
Joan Teyra, Andreas Doms, Michael Schroeder, M. Te...
130
Voted
CAD
2005
Springer
15 years 3 months ago
Design automation for customized apparel products
This paper presents solution techniques for a three-dimensional Automatic Made-to-Measure (AMM) scheme for apparel products. Freeform surface is adopted to represent the complex g...
Charlie C. L. Wang, Yu Wang 0010, Matthew Ming-Fai...
131
Voted
DAC
2002
ACM
16 years 4 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
CEEMAS
2005
Springer
15 years 9 months ago
Architecture-Centric Development of an AGV Transportation System
Architectural design plays a key role in software engineering. The software architecture is the backbone of the designed solution, it has the functional requirements of the system ...
Danny Weyns, Kurt Schelfthout, Tom Holvoet