6583 search results - page 210 / 1317 » Semantic Analysis Patterns |
214
click to vote
EMSOFT
2005
Springer
16 years 16 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
151
click to vote
ACL
2010
15 years 5 months ago
2010
Maintaining high annotation consistency in large corpora is crucial for statistical learning; however, such work is hard, especially for tasks containing semantic elements. This p...
224
Voted
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
193
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: The use of global gene expression profiling to identify sets of genes with similar expression patterns is rapidly becoming a widespread approach for understanding biol...
185
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...