190 search results - page 33 / 38 » Isomorph-Free Exhaustive Generation |
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
102
click to vote
SERA
2004
Springer
15 years 5 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
111
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
Recent advances in genotyping technology have led to the generation of an enormous quantity of genetic data. Traditional methods of statistical analysis have proved insufficient i...
115
click to vote
COMPSAC
1998
IEEE
15 years 4 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
110
click to vote
CASES
2006
ACM
15 years 3 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...