4763 search results - page 293 / 953 » On the Execution of Deep Models |
210
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
185
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
The depth-integrated shallow water equations are frequently used for simulating geophysical flows, such as storm-surges, tsunamis and river flooding. In this paper a parallel sha...
162
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
219
click to vote
ALPIT
2007
IEEE
16 years 1 months ago
2007
IEEE
SOA and MDA have emerged as a major evolutionary step in enterprise integration. Significant advances have been seen in SOA and MDA. But the integration of SOA and MDA is still la...
184
click to vote
BPM
2007
Springer
16 years 28 days ago
2007
Springer
Recent analysis of clinical Computer-Interpretable Guideline (CIG) modelling languages from the perspective of the control-flow patterns has revealed limited capabilities of these...