4761 search results - page 726 / 953 » Generalizing Boundary Points |
139
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
120
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
149
click to vote
GLVLSI
2000
IEEE
15 years 9 months ago
2000
IEEE
Circuit interconnect has become a substantial obstacle in the design of high performance systems. In this paper we explore a new routing paradigm that strikes at the root of the i...
102
Voted
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
The incremental, “construct by correction” design methodology has become widespread in constraint-dominated DSM design. We study the problem of ECO for physical design domains...
135
Voted
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...