111 search results - page 19 / 23 » A Certifying Code Generation Phase |
CGO
2010
IEEE
14 years 19 days ago
2010
IEEE
The linear scan algorithm for register allocation provides a good register assignment with a low compilation overhead and is thus frequently used for just-in-time compilers. Altho...
ICNP
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
JSW
2008
13 years 5 months ago
2008
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...
SPAA
1993
ACM
13 years 9 months ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
ISSRE
2008
IEEE
14 years 5 days ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...