Sciweavers

10700 search results - page 20 / 2140
» Generative Design Patterns
Sort
View
ITC
1997
IEEE
129views Hardware» more  ITC 1997»
15 years 1 months ago
On Using Machine Learning for Logic BIST
This paper presents a new approach for designing test sequences to be generated on–chip. The proposed technique is based on machine learning, and provides a way to generate effi...
Christophe Fagot, Patrick Girard, Christian Landra...
ICIP
2008
IEEE
15 years 11 months ago
Inverse image problem of designing phase shifting masks in optical lithography
The continual shrinkage of minimum feature size in integrated circuit (IC) fabrication incurs more and more serious distortion in the optical lithography process, generating circu...
Stanley H. Chan, Edmund Y. Lam
77
Voted
IPPS
2002
IEEE
15 years 2 months ago
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
John O'Donnell
94
Voted
VSTTE
2010
Springer
14 years 8 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
PC
2006
103views Management» more  PC 2006»
14 years 9 months ago
Is MPI suitable for a generative design-pattern system?
Generative parallel design patterns is a proven technique to improve the productivity of parallel program development. However many of the generative design-pattern systems are de...
Paras Mehta, José Nelson Amaral, Duane Szaf...