587 search results - page 100 / 118 » Algorithmic Debugging of Java Programs |
121
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
131
Voted
FORTE
2003
15 years 5 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
116
Voted
ESSOS
2010
Springer
16 years 16 days ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
170
Voted
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
147
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...