1210 search results - page 208 / 242 » Formal Techniques for Java Programs |
102
click to vote
ESA
2003
Springer
15 years 7 months ago
2003
Springer
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
103
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
111
click to vote
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
106
click to vote
AGP
1997
IEEE
15 years 6 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
115
click to vote
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...