5355 search results - page 678 / 1071 » Modules |
195
click to vote
PLDI
2005
ACM
16 years 26 days ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
206
click to vote
DILS
2005
Springer
16 years 25 days ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
176
click to vote
FPGA
2005
ACM
16 years 25 days ago
2005
ACM
This paper describes the Altera Stratix II™ logic and routing architecture. This architecture features a novel adaptive logic module (ALM) that is based on a 6-LUT, but can be p...
199
click to vote
VSTTE
2005
Springer
16 years 23 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
207
click to vote
SIGITE
2004
ACM
16 years 22 days ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...