246 search results - page 1 / 50 » Joinpoint Inference from Behavioral Specification to Impleme... |
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
IFIP
1992
Springer
13 years 9 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
ICSE
2010
IEEE-ACM
13 years 6 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
HUC
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We present a method of learning a Bayesian model of a traveler moving through an urban environment. This technique is novel in that it simultaneously learns a unified mo...
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...