7961 search results - page 268 / 1593 » Input-Output Model Programs |
158
click to vote
PROPOR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
148
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
141
click to vote
WOA
2003
15 years 5 months ago
2003
Abstract— This paper focuses on large-scale distributed systems that can be modeled as workflows of activities sharing resources, knowledge, know-how and services. We propose a ...
165
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
126
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...