1675 search results - page 273 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
151
Voted
VLSID
2003
IEEE
16 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
139
click to vote
MM
2003
ACM
15 years 10 months ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
185
click to vote
GISCIENCE
2010
Springer
15 years 4 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
143
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we consider the problem of estimating finite rate of innovation (FRI) signals from noisy measurements, and specifically analyze the interaction between FRI technique...
122
Voted
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...