3053 search results - page 240 / 611 » Performance of Generative Programming Based Protocol Impleme... |
118
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
145
Voted
SAS
1994
Springer
15 years 4 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
132
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
109
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
121
click to vote
MUM
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents a novel cross-layer design for providing service oriented architecture (SOA) in a mobile ad hoc network (MANET). In the design SOA service discovery is integra...