Sciweavers

2154 search results - page 277 / 431
» Evidence-based software production
Sort
View
LCR
1998
Springer
111views System Software» more  LCR 1998»
15 years 3 months ago
Memory System Support for Irregular Applications
Because irregular applications have unpredictable memory access patterns, their performance is dominated by memory behavior. The Impulse con gurable memory controller will enable s...
John B. Carter, Wilson C. Hsieh, Mark R. Swanson, ...
ASSETS
2007
ACM
15 years 3 months ago
Equipping designers by simulating the effects of visual and hearing impairments
This paper describes a software tool that demonstrates the effects of common vision and hearing impairments on image and sound files. This helps designers to understand and empath...
Joy Goodman-Deane, Patrick Langdon, P. John Clarks...
AMAST
2006
Springer
15 years 2 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
ASWEC
2004
IEEE
15 years 2 months ago
UML Documentation Support for XML Schema
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
Flora Dilys Salim, Rosanne Price, Shonali Krishnas...
CODES
2004
IEEE
15 years 2 months ago
Power-aware communication optimization for networks-on-chips with voltage scalable links
Networks-on-Chip (NoC) is emerging as a practical development platform for future systems-on-chip products. We propose an energyefficient static algorithm which optimizes the ener...
Dongkun Shin, Jihong Kim