2943 search results - page 171 / 589 » Software Implementation of Synchronous Programs |
151
click to vote
SCAM
2007
IEEE
15 years 9 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...
131
click to vote
SIGSOFT
1994
ACM
15 years 7 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....
119
click to vote
ICFEM
2004
Springer
15 years 8 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, ...
111
click to vote
LCTRTS
2005
Springer
15 years 8 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...
113
click to vote
HIPEAC
2010
Springer
16 years 4 days 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...