537 search results - page 13 / 108 » tools 1999 |
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
DAC
1999
ACM
15 years 2 months ago
1999
ACM
The increasing complexity and geographical separation of design data, tools and teams has created a need for a collaborative and distributed design environment. In this paper we p...
CHI
1999
ACM
15 years 2 months ago
1999
ACM
Inspired by Hill and Hollan’s original work [6], we have been developing a theory of interaction history and building tools to apply this theory to navigation in a complex infor...
VRML
1999
ACM
15 years 2 months ago
1999
ACM
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
FPL
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. High-performance design flows for FPGAs often rely on module generators to counter coarse logic-block granularity and limited routing resources, However, the very flexi...