5235 search results - page 67 / 1047 » Analysis of Multithreaded Programs |
117
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
PADL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...
118
click to vote
IEEEPACT
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—This paper proposes a new software-oriented approach for managing the distributed shared L2 caches of a chip multiprocessor (CMP) for latency-oriented multithreaded appl...
121
click to vote
ACSC
2005
IEEE
15 years 7 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
108
click to vote
CSUR
2004
15 years 1 months ago
2004
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...