367 search results - page 20 / 74 » tools 1997 |
ANLP
1997
15 years 11 days ago
1997
In this paper we report on a set of computational tools with (n)SGML pipeline data flow for uncovering internal structure in natural language texts. The main idea behind the workb...
WSC
1997
15 years 11 days ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
ICCAD
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
ICCAD
1997
IEEE
15 years 3 months ago
1997
IEEE
To solve the problem of fast thermal and electrostatic simulation of microsystem elements two different field solver tools have been developed at TUB. The µSTHERMANAL program is ...
COMPSAC
1997
IEEE
15 years 3 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...