4433 search results - page 276 / 887 » Dynamic Optimization of Micro-Operations |
200
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
183
click to vote
IAT
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, we consider the problem of dynamic lightpath protection in survivable WDM networks with single link failure model. Our work concerns in how to dynamically determine...
193
click to vote
CN
2000
15 years 6 months ago
2000
We envision a future in which the global economy and the Internet will merge and evolve together into an information economy bustling with billions of economically motivated softw...
185
click to vote
PVLDB
2010
15 years 5 months ago
2010
Current pattern-detection proposals for streaming data recognize the need to move beyond a simple regular-expression model over strictly ordered input. We continue in this directi...
178
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...