7167 search results - page 1123 / 1434 » A Technique for Invariant Generation |
194
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
Accurate control of streamline density is key to producing several effective forms of visualization of 2-dimensional vector fields. We introduce a technique that uses an energy fu...
210
click to vote
WADT
1997
Springer
15 years 11 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...
260
click to vote
BTW
1993
Springer
15 years 11 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...
200
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Higher levels of integration have led to a generation of integrated circuits for which power dissipation and reliability are major design concerns. In CMOS circuits, both of these ...
225
click to vote
ASPLOS
1992
ACM
15 years 11 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...