1011 search results - page 152 / 203 » The three dimensions of proofs |
170
click to vote
JSCIC
2008
15 years 6 months ago
2008
In this paper we shall discuss the numerical simulation of higher order geometric flows by level set methods. Main examples under considerations are surface diffusion and the Will...
156
click to vote
JSAC
2006
15 years 6 months ago
2006
We present a detailed study of the potential impact of BGP peering session attacks and the resulting exploitation of Route Flap Damping (RFD) that cause network-wide routing disrup...
163
click to vote
JVCA
2006
15 years 6 months ago
2006
The triangle-to-triangle intersection test is a basic component of all collision detection data structures and algorithms. This paper presents a fast method for testing whether tw...
140
click to vote
MJ
2006
15 years 6 months ago
2006
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
170
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...