2520 search results - page 122 / 504 » Model-checking behavioral programs |
97
Voted
AROBOTS
2004
15 years 20 days ago
2004
We propose a new method to program robots based on Bayesian inference and learning. It is called BRP for Bayesian Robot Programming. The capacities of this programming method are d...
140
click to vote
ATC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
162
Voted
FMSB
2008
15 years 2 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
90
Voted
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
148
click to vote
DLT
2009
14 years 10 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...