15253 search results - page 2734 / 3051 » Integer-Programming Software Systems |
120
click to vote
EUROSEC
2010
ACM
15 years 11 months ago
2010
ACM
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...
148
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Process as a Service (PaaS) addresses modeling, execution and management of business processes without running extensive and costly process management software. Such a flexible o...
103
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented...
131
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
149
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...