4359 search results - page 628 / 872 » Automated Pipeline Design |
183
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
146
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
142
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
With an ever-increasing portion of the delay in highspeed CMOS chips attributable to the interconnect, interconnect-circuit design automation continues to grow in importance. By t...
126
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
Metamanagement provides a means to manage the management processes, systems and software comprising a TMN system. In this paper we present the basic requirements of metamanagement,...
165
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...