2500 search results - page 218 / 500 » Specifying Behavior in C |
175
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
172
Voted
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...
167
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
206
Voted
SGAI
2009
Springer
16 years 1 months ago
2009
Springer
Real-time strategy games share many aspects with real situations in domains such as battle planning, air traffic control, and emergency response team management which makes them a...
180
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Hybrid Vehicle fuel economy performance is highly sensitive to the energy management strategy used to select among multiple energy sources. Optimal solutions are easy to specif...