7027 search results - page 84 / 1406 » Software process: a roadmap |
DAC
1998
ACM
14 years 11 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
EUROPAR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. To leverage high speed interconnects like InfiniBand it is important to minimize the communication overhead. The most interfering overhead is the registration of communic...
DEBS
2008
ACM
13 years 11 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...
BMCBI
2006
13 years 10 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
OTM
2009
Springer
14 years 4 months ago
2009
Springer