Sciweavers

13489 search results - page 2500 / 2698
» Self-migration of operating systems
Sort
View
OOPSLA
2007
Springer
16 years 19 days ago
Software speculative multithreading for Java
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
Christopher J. F. Pickett
RTA
2007
Springer
16 years 18 days ago
Rewriting Approximations for Fast Prototyping of Static Analyzers
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luk...
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
16 years 18 days ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
SCIA
2007
Springer
111views Image Analysis» more  SCIA 2007»
16 years 18 days ago
Scale-Space Texture Classification Using Combined Classifiers
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
Mehrdad J. Gangeh, Bart M. ter Haar Romeny, C. Esw...
SEMWEB
2007
Springer
16 years 18 days ago
Extreme Tagging: Emergent Semantics through the Tagging of Tags
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
Vlad Tanasescu, Olga Streibel
« Prev « First page 2500 / 2698 Last » Next »