1755 search results - page 257 / 351 » An efficient simulation algorithm based on abstract interpre... |
121
click to vote
RECOMB
2004
Springer
16 years 4 months ago
2004
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
148
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract-- The efficacy of end-to-end multicast transport protocols depends critically upon their ability to scale efficiently to a large number of receivers. Several research mult...
124
click to vote
CPM
1998
Springer
15 years 8 months ago
1998
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
157
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
112
click to vote
DSL
2009
15 years 1 months ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...