3820 search results - page 211 / 764 » Bounded Model Debugging |
141
click to vote
NFM
2011
14 years 10 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
152
click to vote
CCGRID
2010
IEEE
14 years 7 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
164
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...
127
click to vote
CSCLP
2004
Springer
15 years 7 months ago
2004
Springer
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
140
Voted
KDD
2008
ACM
16 years 3 months ago
2008
ACM
Hidden Markov models (HMMs) have received considerable attention in various communities (e.g, speech recognition, neurology and bioinformatic) since many applications that use HMM...