8398 search results - page 1269 / 1680 » Optimal Software Testing |
203
click to vote
LCPC
2005
Springer
16 years 13 days ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
194
click to vote
ASPDAC
2004
ACM
16 years 11 days ago
2004
ACM
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
179
click to vote
CC
2004
Springer
16 years 10 days ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
180
click to vote
EMSOFT
2004
Springer
16 years 10 days ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
155
click to vote
GECCO
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. This work compares different metaheuristics techniques applied to an important problem in natural language: tagging. Tagging amounts to assigning to each word in a text ...