2872 search results - page 338 / 575 » On (Omega-)Regular Model Checking |
153
click to vote
ICCPOL
2009
Springer
15 years 2 months ago
2009
Springer
Conditional random fields (CRFs) have been quite successful in various machine learning tasks. However, as larger and larger data become acceptable for the current computational ma...
160
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
140
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
168
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
152
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...