2339 search results - page 144 / 468 » Models and Tools for Mulan Applications |
193
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
194
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We propose to incorporate a priori geometric constraints in a 3?D stereo reconstruction scheme to cope with the many cases where image information alone is not sufficient to accur...
192
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded systems are becoming increasingly complex. Besides the additional processing capabilities, they are characterized by high diversity of computational models coexisting in ...
184
click to vote
GRAPHITE
2005
ACM
16 years 9 days ago
2005
ACM
Digital computers are powerful tools for studying natural phenomena at large-scales. Nevertheless, custom-made methods have to be developed to digitalize, simulate and finally vis...
167
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...