2887 search results - page 136 / 578 » Name Generation and Linearity |
173
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
Graph-coloring register allocation is an elegant and extremely popular optimization for modern machines. But as currently formulated, it does not handle two characteristics common...
141
click to vote
WSC
2008
15 years 8 months ago
2008
In this paper, we use exact simulation to price CDO under a new dynamic model, the Conditional Survival (CS) model, which provided excellent calibration to both iTraxx tranches an...
150
click to vote
COR
2007
15 years 6 months ago
2007
This paper considers the design of two-layered fully interconnected networks.A two-layered network consists of clusters of nodes, each defining an access network and a backbone n...
180
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
183
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
A new identity-based key agreement protocol designed to operate on thenetworklayerispresented. Endpoint addresses, namelyIP and MAC addresses, areusedaspublickeystoauthenticatethe ...