7429 search results - page 307 / 1486 » Embedded System Update |
181
click to vote
SFM
2004
Springer
16 years 12 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
171
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The paper shows how Particle Filters can be used to establish visually consistent partial correspondences between similar features in unrestricted 2D point sets representing shape...
180
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...