Sciweavers

1564 search results - page 110 / 313
» The STEP Modular Architecture
Sort
View
KI
2005
Springer
14 years 3 months ago
Hybrid Planning Using Flexible Strategies
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
Bernd Schattenberg, Andreas Weigl, Susanne Biundo
FPL
2004
Springer
74views Hardware» more  FPL 2004»
14 years 3 months ago
A Structured Methodology for System-on-an-FPGA Design
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
N. Pete Sedcole, Peter Y. K. Cheung, George A. Con...
ITS
2004
Springer
103views Multimedia» more  ITS 2004»
14 years 3 months ago
RMT: A Dialog-Based Research Methods Tutor With or Without a Head
RMT (Research Methods Tutor) is a dialog-based tutoring system that has a dual role. Its modular architecture enables the interchange and evaluation of different tools and techniq...
Peter M. Wiemer-Hastings, David Allbritton, Elizab...
ITC
2000
IEEE
74views Hardware» more  ITC 2000»
14 years 2 months ago
A good excuse for reuse: "open" TAP controller design
In this paper we present a design for IEEE 1149.1 Test Access Port (TAP)controllers that is based on a practical reuse methodology. While the basic use and core functionality of T...
David B. Lavo
FMCAD
2004
Springer
14 years 1 months ago
A Functional Approach to the Formal Specification of Networks on Chip
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
Julien Schmaltz, Dominique Borrione