4377 search results - page 653 / 876 » Application Driven Software Development |
123
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
115
Voted
ICSE
2003
IEEE-ACM
15 years 7 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
161
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...
101
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Here we describe PathogenMIPer, a software program for designing molecular inversion probe (MIP) oligonucleotides for use in pathogen identification and detection. The...
138
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...