2774 search results - page 341 / 555 » Query-Driven Program Testing |
107
click to vote
DAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
109
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
107
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Good data layouts improve cache and TLB performance of object-oriented software, but unfortunately, selecting an optimal data layout a priori is NP-hard. This paper introduces layo...
120
click to vote
ATMOS
2007
15 years 3 months ago
2007
The Train Timetabling Problem (TTP) consists in finding a train schedule on a railway network that satisfies some operational constraints and maximizes a profit function which c...
DIMVA
2007
15 years 3 months ago
2007
A botnet is a collection of bots, each generally running on a compromised system and responding to commands over a “commandand-control” overlay network. We investigate observab...