Sciweavers

529 search results - page 26 / 106
» C Essentials
Sort
View
LPAR
2004
Springer
14 years 1 months ago
Second-Order Matching via Explicit Substitutions
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
Flávio L. C. de Moura, Fairouz Kamareddine,...
DISCEX
2003
IEEE
14 years 28 days ago
Towards a Rigorous Definition of Information System Survivability
The computer systems that provide the information underpinnings for critical infrastructure applications, both military and civilian, are essential to the operation of those appli...
John C. Knight, Elisabeth A. Strunk, Kevin J. Sull...
WORDS
2003
IEEE
14 years 27 days ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...
MM
2003
ACM
102views Multimedia» more  MM 2003»
14 years 27 days ago
A geographic redirection service for on-line games
For many on-line games, user experience is impacted significantly by network latency. As on-line games and on-line game servers proliferate, the ability to discover and connect to...
Chris Chambers, Wu-chi Feng, Wu-chang Feng, Debanj...
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
14 years 22 days ago
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
Daniel Baudisch, Jens Brandt, Klaus Schneider