1210 search results - page 79 / 242 » Formal Techniques for Java Programs |
120
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
116
Voted
MEMOCODE
2010
IEEE
15 years 13 days ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
131
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, m...
123
click to vote
WCRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...
124
click to vote
IEE
2010
15 years 1 months ago
2010
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...