Sciweavers

1564 search results - page 110 / 313
» The STEP Modular Architecture
Sort
View
KI
2005
Springer
15 years 11 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»
15 years 11 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»
15 years 11 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»
15 years 10 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
15 years 10 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