10912 search results - page 1939 / 2183 » Object-Oriented Programming Languages |
217
Voted
ECOOP
2004
Springer
16 years 14 days 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...
262
click to vote
ESOP
2004
Springer
16 years 14 days 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...
189
click to vote
ASPLOS
2010
ACM
16 years 12 days ago
2010
ACM
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
248
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
209
Voted
PLDI
2003
ACM
16 years 10 days ago
2003
ACM
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...