4722 search results - page 763 / 945 » Encoding Program Executions |
125
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software systems obey the 80/20 rule: aggressively optimizing a vital few execution paths yields large speedups. However, finding the vital few paths can be difficult, e...
213
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
114
Voted
MDM
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we propose a middleware library for efficiently developing distributed cooperative applications consisting of a large number of cellular phones with Java executors....
110
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
Inference of phylogenetic trees comprising hundreds or even thousands of organisms based on the maximum likelihood method is computationally extremely expensive. In previous work,...
129
click to vote
MICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
A dynamic optimizer is a runtime software system that groups a program’s instruction sequences into traces, optimizes those traces, stores the optimized traces in a softwarebase...