295 search results - page 43 / 59 » A Test Generation Strategy for Pairwise Testing |
124
click to vote
WEA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A5/1 pseudo-random bit generator, known from GSM networks, potentially might be used for different purposes, such as secret hiding during cryptographic hardware testing, ...
127
Voted
MICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
128
click to vote
AAAI
2007
15 years 5 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
133
click to vote
JAIR
1998
15 years 3 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
170
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...