5343 search results - page 428 / 1069 » Keyword programming in java |
130
click to vote
SIMUTOOLS
2008
15 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
126
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Abstract. Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such...
130
click to vote
SLP
1997
15 years 5 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
145
click to vote
IEE
2002
15 years 4 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
153
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...