Sciweavers

3404 search results - page 518 / 681
» C Programming Tutorial
Sort
View
ICTA
2009
IEEE
15 years 4 months ago
Feasibility Analysis for SemiAutomatic Conversion of Text to Improve Readability
1 WCAG 2.0 (W3C Recommendation 11 Dec. 2008) recommendation includes a specific guideline regarding the readability of text contents. This paper presents an approach to adapt text ...
Susana Bautista, Pablo Gervás, R. Ignacio M...
ISCA
2009
IEEE
186views Hardware» more  ISCA 2009»
15 years 4 months ago
Application-aware deadlock-free oblivious routing
Conventional oblivious routing algorithms are either not application-aware or assume that each flow has its own private channel to ensure deadlock avoidance. We present a framewo...
Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edwa...
APPT
2009
Springer
15 years 4 months ago
Computational Performance of a Parallelized Three-Dimensional High-Order Spectral Element Toolbox
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
Christoph Bosshard, Roland Bouffanais, Christian C...
GECCO
2009
Springer
131views Optimization» more  GECCO 2009»
15 years 4 months ago
Evolution of robust data distribution among digital organisms
This paper describes a study of the evolution of robust communication, specifically the distribution of data among individuals in a population, using digital evolution. In digita...
David B. Knoester, Andres J. Ramirez, Philip K. Mc...
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
15 years 4 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen