10935 search results - page 1941 / 2187 » Neural Programming Language |
187
click to vote
ECOOP
2004
Springer
15 years 12 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...
249
click to vote
ESOP
2004
Springer
15 years 12 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...
167
click to vote
ASPLOS
2010
ACM
15 years 11 months 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...
211
click to vote
IPPS
2003
IEEE
15 years 11 months 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...
183
click to vote
PLDI
2003
ACM
15 years 11 months 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...