6952 search results - page 84 / 1391 » The information integrity imperative |
159
click to vote
SC
1992
ACM
15 years 10 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
144
click to vote
LCPC
1991
Springer
15 years 9 months ago
1991
Springer
The dependence ow graph is a novel intermediate representation for optimizingand parallelizing compilersthat can be viewed as an executable representation of program dependences. ...
167
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
145
click to vote
WCET
2008
15 years 7 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
175
Voted
ACSW
2004
15 years 7 months ago
2004
Due to rapid development in the global market, workflow systems are not limited to a single country. Electronic business like workflows span across countries and hence there arise...