Sciweavers

3113 search results - page 53 / 623
» Efficiently Generating Efficient Generating Extensions in Pr...
Sort
View
DAC
1998
ACM
15 years 10 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
ICCAD
2003
IEEE
123views Hardware» more  ICCAD 2003»
15 years 6 months ago
A Hybrid Approach to Nonlinear Macromodel Generation for Time-Varying Analog Circuits
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
Peng Li, Xin Li, Yang Xu, Lawrence T. Pileggi
IEAAIE
1998
Springer
15 years 1 months ago
Generating Heuristics to Control Configuration Processes
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
Benno Stein
ATAL
2010
Springer
14 years 11 months ago
Dynamic generation and execution of human aware navigation plans
d Abstract) Thibault Kruse, Alexandra Kirsch, E. Akin Sisbot, Rachid Alami A robot moving in the presence of humans is highly constrained by the dynamic environment and the need t...
Thibault Kruse, Alexandra Kirsch, Emrah Akin Sisbo...
ACL
1996
14 years 11 months ago
An Information Structural Approach to Spoken Language Generation
This paper presents an architecture for the generation of spoken monologues with contextually appropriate intonation. A twotiered information structure representation is used in t...
Scott Prevost