1888 search results - page 109 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
117
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
148
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
128
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
111
click to vote
EVOW
2003
Springer
15 years 8 months ago
2003
Springer
This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...
144
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— We describe a fast method to relocalise a monocular visual SLAM (Simultaneous Localisation and Mapping) system after tracking failure. The monocular SLAM system stores ...