1393 search results - page 195 / 279 » From Models to Interactive Systems Tool Support and XIML |
179
click to vote
PLDI
2006
ACM
16 years 8 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
164
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes inte...
178
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
253
click to vote
BICA
2010
15 years 1 months ago
2010
In this position paper we argue that BICA must simultaneously be compatible with the explanation of human cognition and support the human design of artificial cognitive systems. Mo...
136
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...