2947 search results - page 393 / 590 » Analyzing Program Analyses |
134
click to vote
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
+ Modern network processors employ multi-threading to allow concurrency amongst multiple packet processing tasks. We studied the properties of applications running on the network p...
127
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
141
click to vote
SIGADA
2001
Springer
15 years 7 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
127
Voted
PLDI
1995
ACM
15 years 6 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
117
Voted
ECIS
2000
15 years 3 months ago
2000
As the information systems discipline grows, so do the number of programs offering graduate research degrees (GRD). In Australasia these include one year post-graduate (honors) pr...