2251 search results - page 255 / 451 » Specification and Implementation Problems for C |
123
click to vote
ICESS
2007
Springer
15 years 10 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
117
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
140
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
116
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, we show that visual feedback reduces the complexity of parallel robot Cartesian control. Namely, 3D pose visual servoing, where the end-effector pose is indirect...
124
click to vote
SUTC
2006
IEEE
15 years 10 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...