4820 search results - page 444 / 964 » Implementing Signatures for C |
163
click to vote
PADL
2004
Springer
16 years 5 days 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...
200
Voted
ROBOCUP
2004
Springer
16 years 5 days 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...
173
click to vote
SAS
2004
Springer
16 years 5 days 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...
182
click to vote
VMCAI
2004
Springer
16 years 5 days 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...
173
click to vote
ANSS
2003
IEEE
16 years 4 days 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...