3090 search results - page 356 / 618 » On Testing Answer-Set Programs |
166
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
184
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
The MISP Processor is a programmable media processor which supports multi-issuing, multi-threading and stream processing techniques. MISP executes applications that have been mapp...
157
click to vote
MSR
2006
ACM
16 years 17 days ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
150
click to vote
CSB
2005
IEEE
16 years 7 days ago
2005
IEEE
We present TreeRefiner, a tool for refining multiple alignments of biological sequences. Given a multiple alignment, a phylogenetic tree, and scoring parameters as input, TreeRefi...
192
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...