8828 search results - page 1581 / 1766 » Formal methods in practice |
177
click to vote
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract--In this paper we present a method for vortex core line extraction which operates directly on the smoothed particle hydrodynamics (SPH) representation and, by this, genera...
160
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
In many emerging applications, data streams are monitored in a network environment. Due to limited communication bandwidth and other resource constraints, a critical and practical...
161
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
145
click to vote
IMC
2009
ACM
15 years 11 months ago
2009
ACM
We show that currently prevalent practices for network path measurements can produce inaccurate inferences because of sampling biases. The inferred mean path latency can be more t...
135
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Needles are commonly used in medical practice as a minimally invasive means to reach subsurface targets for diagnosis or therapy delivery. Recent results indicate that steerabl...