6960 search results - page 352 / 1392 » Continuity Analysis of Programs |
144
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
143
click to vote
ENTCS
2002
15 years 4 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
172
Voted
ESORICS
2011
Springer
14 years 4 months ago
2011
Springer
Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...
151
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
210
click to vote
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...