2765 search results - page 313 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
172
click to vote
WSC
2008
15 years 9 months ago
2008
Most discrete event simulation frameworks are able to output simulation runs as a trace. The Network Simulator 2 (NS2) is a prominent example that does so to decouple generation o...
178
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
193
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
164
click to vote
IJRR
2000
15 years 6 months ago
2000
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
225
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Tweets are the most up-to-date and inclusive stream of information and commentary on current events, but they are also fragmented and noisy, motivating the need for systems that c...