5439 search results - page 260 / 1088 » Patterns: from system design to software testing |
148
click to vote
HPCA
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper focuses on generating efficient software pipelined schedules for in-order machines, which we call Converged Trace Schedules. For a candidate loop, we form a string of t...
123
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...
131
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
125
click to vote
ACMDIS
2008
ACM
15 years 6 months ago
2008
ACM
CityFlocks is a mobile system enabling visitors and new residents in a city to tap into the knowledge and experiences of local residents, so as to gather information about their n...
149
click to vote
DLOG
2003
15 years 5 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...