96 search results - page 8 / 20 » Algorithmic Verification of Single-Pass List Processing Prog... |
108
click to vote
DSRT
2008
IEEE
14 years 11 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
120
click to vote
ECBS
2007
IEEE
14 years 11 months ago
2007
IEEE
Machine learning has great utility within the context of network intrusion detection systems. In this paper, a behavior analysis-based learning framework for host level network in...
AVI
2008
14 years 10 months ago
2008
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
ISPD
2006
ACM
15 years 3 months ago
2006
ACM
Advanced process technologies call for a proactive consideration of process variations in design to ensure high parametric timing yield. Despite of its popular use in almost any h...
179
click to vote
POPL
2003
ACM
15 years 10 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...