2943 search results - page 171 / 589 » Software Implementation of Synchronous Programs |
169
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
142
click to vote
SIGSOFT
1994
ACM
15 years 8 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
134
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
128
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
125
click to vote
HIPEAC
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...