4820 search results - page 444 / 964 » Implementing Signatures for C |
129
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
167
click to vote
ROBOCUP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...
127
Voted
SAS
2004
Springer
15 years 10 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
137
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
140
click to vote
ANSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...