1210 search results - page 69 / 242 » Formal Techniques for Java Programs |
126
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
127
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
146
click to vote
ISSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Synchronous Dataflow, a subset of dataflow, has proven to be a good match for specifying DSP programs. Because of the limited amount of memory in embedded DSPs, a key problem duri...
154
click to vote
FMSD
2002
15 years 4 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
120
click to vote
ASPLOS
1998
ACM
15 years 8 months ago
1998
ACM
In order to execute a program on a remote computer, it must first be transferred over a network. This transmission incurs the overhead of network latency before execution can beg...