7103 search results - page 324 / 1421 » Program Generation and Components |
194
click to vote
RTAS
2003
IEEE
16 years 13 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
222
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: With the completion of the HapMap project, a variety of computational algorithms and tools have been proposed for haplotype inference, tag SNP selection and genome-wid...
221
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
248
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
190
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...