Sciweavers

3387 search results - page 414 / 678
» Automating the Metamodeling Process
Sort
View
ATS
1997
IEEE
87views Hardware» more  ATS 1997»
15 years 10 months ago
A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo,...
HPDC
1997
IEEE
15 years 10 months ago
Optimizing Layered Communication Protocols
Layering of protocols o ers several well-known advantages, but typically leads to performance ine ciencies. We present a model for layering, and point out where the performance pr...
Mark Hayden, Robbert van Renesse
IWPC
1997
IEEE
15 years 10 months ago
A Case Study of Domain-based Program Understanding
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
Richard Clayton, Spencer Rugaber, Lyman Taylor, Li...
COSIT
1997
Springer
131views GIS» more  COSIT 1997»
15 years 10 months ago
Cognitive Requirements on Making and Interpreting Maps
We present an approach to modeling human interpretation of (real) geographic maps. While in Geographic Information Systems (GIS) the limitations for describing geographic knowledge...
Thomas Barkowsky, Christian Freksa
DAC
1994
ACM
15 years 10 months ago
Design Methodology Management Using Graph Grammars
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
Reid A. Baldwin, Moon-Jung Chung