12452 search results - page 2452 / 2491 » An exploration of program as language |
161
click to vote
ICSEA
2007
IEEE
16 years 11 days ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
173
click to vote
IEEEPACT
2007
IEEE
16 years 11 days ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
166
click to vote
TPHOL
2007
IEEE
16 years 10 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
153
Voted
CC
2007
Springer
16 years 8 days ago
2007
Springer
In this paper, we extend past work on Linear Scan register allocation, and propose two Extended Linear Scan (ELS) algorithms that retain the compiletime efficiency of past Linear ...
158
click to vote
CCS
2007
ACM
16 years 7 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...