3564 search results - page 706 / 713 » Evaluating a Formal Modelling Language |
ISCA
2012
IEEE
11 years 9 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
RECOMB
2008
Springer
14 years 7 months ago
2008
Springer
The transcriptional regulatory sequences in metazoan genomes often consist of multiple cis-regulatory modules (CRMs). Each CRM contains locally enriched occurrences of binding site...
ISSTA
2004
ACM
14 years 24 days 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...
PASTE
2010
ACM
14 years 14 days ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
PERVASIVE
2010
Springer
13 years 9 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...