4763 search results - page 620 / 953 » On the Execution of Deep Models |
264
click to vote
ISSTA
2012
ACM
13 years 10 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
243
click to vote
PODC
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we study the wireless synchronization problem which requires devices activated at different times on a congested single-hop radio network to synchronize their roun...
227
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
225
click to vote
ASWSD
2004
Springer
16 years 29 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
201
click to vote
SIMUTOOLS
2008
15 years 9 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...