74 search results - page 13 / 15 » Using Metamorphic Testing to Improve Dynamic Symbolic Execut... |
209
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
125
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
110
click to vote
PLDI
1994
ACM
15 years 4 months ago
1994
ACM
As microprocessor speeds increase, memory bandwidth is increasing y the performance bottleneck for microprocessors. This has occurred because innovation and technological improvem...
113
click to vote
ENTCS
2002
15 years 4 days ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
141
click to vote
IWMM
2011
Springer
14 years 3 months ago
2011
Springer
To achieve optimal performance, garbage-collected applications must balance the sizes of their heaps dynamically. Sizing the heap too small can reduce throughput by increasing the...