12272 search results - page 350 / 2455 » Experimental program analysis |
159
click to vote
SOCRATES
2008
15 years 8 months ago
2008
Quality is an open concept. Something has a good quality when the most salient of its characteristics have a positive value. What are this relevant features? It depends on the int...
192
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
201
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
182
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
180
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Having a representative workload of the target domain of a microprocessor is extremely important throughout its design. The composition of a workload involves two issues: (i) whic...