640 search results - page 74 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
FPL
2000
Springer
14 years 9 days ago
2000
Springer
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Expert systems are originally designed to generate feasible alternatives in automated manner. The users expect the systems to contribute to make decisions proactively and intellig...
WCRE
1999
IEEE
14 years 1 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
WSC
1997
13 years 10 months ago
1997
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...