1210 search results - page 69 / 242 » Formal Techniques for Java Programs |
108
Voted
SIGSOFT
2003
ACM
16 years 3 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...
112
click to vote
IWPC
2006
IEEE
15 years 8 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...
130
click to vote
ISSS
1999
IEEE
15 years 6 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...
131
click to vote
FMSD
2002
15 years 2 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...
ASPLOS
1998
ACM
15 years 6 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...