10072 search results - page 341 / 2015 » Composition of Model Programs |
211
Voted
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
189
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a novel discriminative training algorithm for n-gram language models for use in large vocabulary continuous speech recognition. The algorithm uses large margin estimati...
178
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
183
Voted
VL
2006
IEEE
16 years 22 days ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
148
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...