Sciweavers

898 search results - page 172 / 180
» An Analysis of Permutations in Arrays
Sort
View
INFOCOM
2003
IEEE
15 years 5 months ago
The AWG||PSC Network: A Performance Enhanced Single-Hop WDM Network with Heterogeneous Protection
— Single–hop WDM networks based on a central Passive Star Coupler (PSC) or Arrayed–Waveguide Grating (AWG) hub have received a great deal of attention as promising solutions ...
Chun Fan, Martin Maier, Martin Reisslein
SC
2003
ACM
15 years 5 months ago
Identifying and Exploiting Spatial Regularity in Data Memory References
The growing processor/memory performance gap causes the performance of many codes to be limited by memory accesses. If known to exist in an application, strided memory accesses fo...
Tushar Mohan, Bronis R. de Supinski, Sally A. McKe...
ITS
1998
Springer
213views Multimedia» more  ITS 1998»
15 years 3 months ago
Component-Based Construction of a Science Learning Space
We present a vision for learning environments, called Science Learning Spaces, that are rich in engaging content and activities, provide constructive experiences in scientific proc...
Kenneth R. Koedinger, Daniel D. Suthers, Kenneth D...
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 3 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
ESA
1998
Springer
162views Algorithms» more  ESA 1998»
15 years 3 months ago
External Memory Algorithms
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
Jeffrey Scott Vitter