208 search results - page 8 / 42 » How NOT to review a paper: the tools and techniques of the a... |
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Power-efficient design requires reducing power dissipation in all parts of the design and during all stages of the design process subject to constraints on the system performance ...
ADG
1998
Springer
13 years 11 months ago
1998
Springer
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
AIED
2005
Springer
14 years 29 days ago
2005
Springer
This paper describes an Explainable Artificial Intelligence (XAI) tool that allows entities to answer questions about their activities within a tactical simulation. We show how XAI...
DAGSTUHL
2003
13 years 8 months ago
2003
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...
ITC
2003
IEEE
14 years 20 days ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...