5465 search results - page 824 / 1093 » Assigning Types to Processes |
242
click to vote
PROMISE
2010
15 years 1 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
217
click to vote
BMCBI
2011
15 years 25 days ago
2011
Background: High-throughput re-sequencing, new genotyping technologies and the availability of reference genomes allow the extensive characterization of Single Nucleotide Polymorp...
196
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
211
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
187
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—The prospect of new biological and industrial applications that require communication in micro-scale, encourages research on the design of bio-compatible communication n...