8132 search results - page 20 / 1627 » Dependability, Abstraction, and Programming |
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
ASWEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
Object State and Version Recovery in N-Version Programming Alexander Romanovsky
SAMOS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...