544 search results - page 76 / 109 » Testing concurrent programs using value schedules |
ICFP
2003
ACM
15 years 9 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...
ASPLOS
2012
ACM
13 years 5 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...
DAC
2005
ACM
14 years 11 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...
INFOCOM
2010
IEEE
14 years 8 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...
APIN
2000
14 years 9 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...