8874 search results - page 355 / 1775 » A New Implementation of Automath |
196
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
173
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Adaptive microarchitectures are a promising solution for designing high-performance, power-efficient microprocessors. They offer the ability to tailor computational resou...
185
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
148
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Measuring similarity between ontologies can be very useful for different purposes, e.g., finding an ontology to replace another, or finding an ontology in which queries c...
173
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
As more and more physical information becomes available, a critical problem is enabling the simple and efficient exchange of this data. We present our design for a simple RESTful ...