1833 search results - page 302 / 367 » Mechanized Verification with Sharing |
145
click to vote
ISCA
2008
IEEE
15 years 4 months ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
142
click to vote
IJHPCA
2006
15 years 4 months ago
2006
The purpose of GridSolve is to create the middleware necessary to provide a seamless bridge between the simple, standard programming interfaces and desktop systems that dominate t...
123
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
148
click to vote
JUCS
2008
15 years 4 months ago
2008
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
140
click to vote
KAIS
2006
15 years 4 months ago
2006
Unprecedented amounts of media data are publicly accessible. However, it is increasingly difficult to integrate relevant media from multiple and diverse sources for effective appli...