768 search results - page 66 / 154 » Symbolic and Abstract Interpretation for C C Programs |
110
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Linear Genetic Programming (LGP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. Each LGP chromosome is a sequence of C language inst...
125
click to vote
DDECS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
135
click to vote
ICSEA
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
162
Voted
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
137
click to vote
USENIX
1994
15 years 6 months ago
1994
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...