Sciweavers

1775 search results - page 62 / 355
» Antichains on Three Levels
Sort
View
TC
1998
15 years 5 months ago
Design Verification of the S3.mp Cache-Coherent Shared-Memory System
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
Fong Pong, Michael C. Browne, Gunes Aybay, Andreas...
CORR
2011
Springer
177views Education» more  CORR 2011»
15 years 1 months ago
Applying Science Models for Search
The paper proposes three different kinds of science models as value-added services that are integrated in the retrieval process to enhance retrieval quality. The paper discusses t...
Philipp Mayr, Peter Mutschke, Vivien Petras, Phili...
SC
2005
ACM
15 years 11 months ago
Multilevel Parallelism in Computational Chemistry using Common Component Architecture and Global Arrays
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...
Manojkumar Krishnan, Yuri Alexeev, Theresa L. Wind...
HIPEAC
2005
Springer
15 years 11 months ago
Induction Variable Analysis with Delayed Abstractions
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
Sebastian Pop, Albert Cohen, Georges-André ...
GISCIENCE
2004
Springer
144views GIS» more  GISCIENCE 2004»
15 years 11 months ago
Landmarks in the Communication of Route Directions
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
Elisabeth Weissensteiner, Stephan Winter