5015 search results - page 843 / 1003 » Model Checking a Path |
ISPD
1997
ACM
14 years 2 months ago
1997
ACM
In this paper, we present a new approach that performs timing driven placement for standard cell circuits in interaction with netlist transformations. As netlist transformations a...
WETICE
1996
IEEE
14 years 2 months ago
1996
IEEE
The Multi-Head, Multi-Tail, Multi-Client (MMM) Browsing Project is a continuing effort to bring stronger graph semantics to the World Wide Web thereby increasing the Web's us...
ACSE
1996
ACM
14 years 2 months ago
1996
ACM
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
BTW
1993
Springer
14 years 2 months ago
1993
Springer
It is clearly crucial for the success of object-oriented databases to find effiĆ cient implementations that improve on the performance of relational sysĆ tems, rather than being...
SIGGRAPH
1994
ACM
14 years 2 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...