8874 search results - page 1630 / 1775 » A New Implementation of Automath |
150
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
— General purpose architectures are designed to offer average high performance regardless of the particular application that is being run. Performance and power inefficiencies a...
153
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
150
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
130
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
117
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Dataspace management has been recently identified as a new agenda for information management [17, 22] and information integration [23]. In sharp contrast to standard information ...