4763 search results - page 65 / 953 » On the Execution of Deep Models |
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
WSC
2000
15 years 26 days ago
2000
Parallel discrete event simulation (PDES) techniques have not yet made a substantial impact on the network simulation community because of the need to recast the simulation models...
130
click to vote
NDSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
SIMUTOOLS
2008
15 years 29 days ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
TMI
1998
14 years 11 months ago
1998
Abstract— This paper reports a novel method for fully automated segmentation that is based on description of shape and its variation using point distribution models (PDM’s). An...