4716 search results - page 708 / 944 » Iterative-free program analysis |
179
Voted
GPCE
2003
Springer
16 years 7 days ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
178
Voted
ICCS
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
179
Voted
ICTCS
2003
Springer
16 years 7 days ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
153
Voted
DATE
2002
IEEE
15 years 12 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
180
Voted
ICPPW
2002
IEEE
15 years 12 months ago
2002
IEEE
The effectiveness of the memory hierarchy is critical for the performance of current processors. The performance of the memory hierarchy can be improved by means of program transf...