7892 search results - page 270 / 1579 » Programming with Models |
152
click to vote
SCAM
2002
IEEE
15 years 6 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
124
click to vote
LCPC
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
120
click to vote
DCOSS
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents the uDSSP ("micro DSSP") programming model which simplifies the development of distributed sensor network applications that make use of complex in-net...
108
click to vote
PASTE
2010
ACM
15 years 6 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
129
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...