2251 search results - page 260 / 451 » Specification and Implementation Problems for C |
125
click to vote
CCR
2010
15 years 4 months ago
2010
Software errors and vulnerabilities in core Internet routers have led to several high-profile attacks on the Internet infrastructure and numerous outages. Building an understandin...
121
Voted
ENTCS
2006
15 years 4 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
137
click to vote
CPHYSICS
2004
15 years 4 months ago
2004
Full Wave studies of mode conversion (MC) processes in toroidal plasmas have required prohibitive amount of computer resources in the past because of the disparate spatial scales ...
113
click to vote
ML
1998
ACM
15 years 4 months ago
1998
ACM
During a project examining the use of machine learning techniques for oil spill detection, we have encountered several essential questions that we believe deserve the attention of ...
143
click to vote
RAS
2007
15 years 4 months ago
2007
The purpose of this study is to investigate a variational formulation of the problem of three-dimensional (3D) interpretation of temporal image sequences based on the 3D brightnes...