Sciweavers

10899 search results - page 311 / 2180
» The GP Programming System
Sort
View
CC
2006
Springer
132views System Software» more  CC 2006»
15 years 10 months ago
Register Allocation for Programs in SSA-Form
As register allocation is one of the most important phases in optimizing compilers, much work has been done to improve its quality and speed. We present a novel register allocation...
Sebastian Hack, Daniel Grund, Gerhard Goos
SCM
1998
15 years 8 months ago
Version Sensitive Editing: Change History as a Programming Tool
Software Version Control Systems (VCSs) are used to store the versions of program source code created throughout the software development cycle. The traditional purpose of such sys...
David L. Atkins
USENIX
1994
15 years 8 months ago
SNP: An Interface for Secure Network Programming
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
Thomas Y. C. Woo, Raghuram Bindignavle, Shaowen Su...
ICIC
2009
Springer
15 years 4 months ago
Inference of Differential Equation Models by Multi Expression Programming for Gene Regulatory Networks
This paper presents an evolutionary method for identifying the gene regulatory network from the observed time series data of gene expression using a system of ordinary differential...
Bin Yang, Yuehui Chen, Qingfang Meng
ICST
2009
IEEE
15 years 4 months ago
Euclide: A Constraint-Based Testing Framework for Critical C Programs
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
Arnaud Gotlieb