544 search results - page 76 / 109 » Testing concurrent programs using value schedules |
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
107
click to vote
ASPLOS
2012
ACM
13 years 9 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
115
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
Microfluidic biochips promise to revolutionize biosensing and clinical diagnostics. As more bioassays are executed concurrently on a biochip, system integration and design complex...
119
click to vote
INFOCOM
2010
IEEE
14 years 12 months ago
2010
IEEE
—Cooperative relay is a communication paradigm that aims to realize the capacity of multi-antenna arrays in a distributed manner. However, the symbol-level synchronization requir...
119
click to vote
APIN
2000
15 years 1 months ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...