Sciweavers

4421 search results - page 470 / 885
» Libraries
Sort
View
128
Voted
ICCAD
1996
IEEE
94views Hardware» more  ICCAD 1996»
15 years 8 months ago
Metrology for analog module testing using analog testability bus
In this paper, we propose a method to generate high quality test waveform on chip to avoid the parasitic eects in an analog testability bus test environment. For the test response...
Chauchin Su, Yue-Tsang Chen, Shyh-Jye Jou, Yuan-Tz...
ICTAI
1996
IEEE
15 years 8 months ago
COMPOzE: Intention-based Music Composition through Constraint Programming
The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the...
Martin Henz, Stefan Lauer, Detlev Zimmermann
IPPS
1996
IEEE
15 years 8 months ago
CoCheck: Checkpointing and Process Migration for MPI
Checkpointing of parallel applications can be used as the core technology to provide process migration. Both, checkpointing and migration, are an important issue for parallel appl...
Georg Stellner
142
Voted
FPL
1997
Springer
242views Hardware» more  FPL 1997»
15 years 8 months ago
Technology mapping by binate covering
Technology mapping can be viewed as the optimization problem of finding a minimum cost cover of the given Boolean network by choosing from given library of logic cells. The core of...
Michal Servít, Kang Yi
VL
1996
IEEE
105views Visual Languages» more  VL 1996»
15 years 8 months ago
Composing Complex Behavior from Simple Visual Descriptions
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...
Roland Hübscher