2774 search results - page 266 / 555 » Query-Driven Program Testing |
137
Voted
ICSM
1994
IEEE
15 years 6 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
129
Voted
ISSTA
2007
ACM
15 years 4 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
223
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
111
click to vote
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
109
Voted
ARC
2009
Springer
15 years 9 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...