8132 search results - page 20 / 1627 » Dependability, Abstraction, and Programming |
178
click to vote
ASWEC
2005
IEEE
15 years 11 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...
112
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Object State and Version Recovery in N-Version Programming Alexander Romanovsky
160
click to vote
SAMOS
2010
Springer
15 years 4 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...
148
click to vote
LCPC
2005
Springer
15 years 11 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...