1655 search results - page 211 / 331 » Visual tool for generative programming |
138
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...
126
Voted
SAS
2009
Springer
16 years 3 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
133
click to vote
NDSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
107
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
127
click to vote
ERLANG
2007
ACM
15 years 6 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...