2255 search results - page 100 / 451 » High Assurance Software Systems |
CC
2011
Springer
13 years 1 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
DAGSTUHL
2011
12 years 9 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
ISPASS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper proposes a specialized memory structure called CA-RAM (Content Addressable Random Access Memory) to accelerate search operations present in many important real-world ap...
SIGDIAL
2010
13 years 7 months ago
2010
Multimodal conversational dialogue systems consisting of numerous software components create challenges for the underlying software architecture and development practices. Typical...
DAC
2004
ACM
14 years 11 months ago
2004
ACM
As multiprocessor systems-on-chip become a reality, performance modeling becomes a challenge. To quickly evaluate many architectures, some type of high-level simulation is require...