Sciweavers

4359 search results - page 352 / 872
» Automated Pipeline Design
Sort
View
IJMMS
1998
93views more  IJMMS 1998»
15 years 6 months ago
Construction of problem-solving methods as parametric design
The knowledge-engineering literature contains a number of approaches for constructing or selecting problem solvers. Some of these approaches are based on indexing and selecting a ...
Annette ten Teije, Frank van Harmelen, A. Th. Schr...
TELSYS
2002
126views more  TELSYS 2002»
15 years 6 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
JUCS
2010
154views more  JUCS 2010»
15 years 5 months ago
SimCon: A Tool to Support Rapid Evaluation of Smart Building Application Design using Context Simulation and Virtual Reality
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
Kris McGlinn, Eleanor O'Neill, Alan Gibney, Declan...
ICCD
2005
IEEE
131views Hardware» more  ICCD 2005»
16 years 3 months ago
A Flexible Design Methodology for Analog Test Wrappers in Mixed-Signal SOCs
The manufacturing test cost for mixed-signal SOCs is widely recognized to be much higher than that for digital SOCs. It has been shown in recent prior work that the use of analog ...
Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty
SEMCO
2008
IEEE
16 years 1 months ago
Optimal Consensus Intuitive Hand Gesture Vocabulary Design
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
Helman I. Stern, Juan P. Wachs, Yael Edan