2943 search results - page 406 / 589 » Software Implementation of Synchronous Programs |
120
Voted
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
119
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Data persistency is a fundamental, but complex aspect of a modern software development process. Therefore, in order to reduce development costs and improve a system’s quality, s...
112
click to vote
IEEEINTERACT
2003
IEEE
15 years 7 months ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
142
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
134
Voted
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...