Sciweavers

407 search results - page 28 / 82
» Applying Learning by Examples for Digital Design Automation
Sort
View
DAC
2004
ACM
14 years 8 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
VLSID
1998
IEEE
116views VLSI» more  VLSID 1998»
13 years 11 months ago
Synthesis of Testable RTL Designs
With several commercial tools becoming available, the high-level synthesis of applicationspeci c integrated circuits is nding wide spread acceptance in VLSI industry today. Existi...
C. P. Ravikumar, Sumit Gupta, Akshay Jajoo
AIME
2005
Springer
14 years 1 months ago
Helping Physicians to Organize Guidelines Within Conceptual Hierarchies
Abstract. Clinical Practice Guidelines (CPGs) are increasingly common in clinical medicine for prescribing a set of rules that a physician should follow. Recent interest is in accu...
Diego Sona, Paolo Avesani, Robert Moskovitch
ACMDIS
2000
ACM
13 years 12 months ago
Performance Targets, Models and Innovation in Interactive System Design
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
William M. Newman, Alex S. Taylor, Christopher R. ...
GROUP
2003
ACM
14 years 24 days ago
Information seeking and sharing in design teams
Information retrieval is generally considered an individual activity, and information retrieval research and tools reflect this view. As digitally mediated communication and infor...
Steven E. Poltrock, Jonathan Grudin, Susan T. Duma...