4763 search results - page 83 / 953 » On the Execution of Deep Models |
103
Voted
TAP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
92
Voted
APN
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
72
Voted
APN
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
112
click to vote
PVLDB
2010
14 years 6 months ago
2010
Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query e...
116
click to vote
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...