3281 search results - page 246 / 657 » An Approach to use Executable Models for Testing |
122
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— A new solution to the Simultaneous Localization and Modelling problem is presented. It is based on the stochastic search of solutions in the state space to the global localizat...
117
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
117
click to vote
FPLAY
2008
15 years 5 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
144
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...
150
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...