10715 search results - page 1873 / 2143 » From Tests to Proofs |
225
click to vote
BIRTHDAY
2003
Springer
16 years 19 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
219
click to vote
BTW
2003
Springer
16 years 19 days ago
2003
Springer
Dissemination systems are used to route information received from many publishers individually to multiple subscribers. The core of a dissemination system consists of an efficient...
235
click to vote
FPGA
2003
ACM
16 years 19 days ago
2003
ACM
This paper presents a new power saving, high speed FPGA design enhancing a previous SiGe CML FPGA based on the Xilinx 6200 FPGA. The design aims at having a higher performance but...
215
click to vote
KBSE
2002
IEEE
16 years 9 days ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
208
click to vote
SIGMOD
2010
ACM
16 years 6 days ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...