256 search results - page 18 / 52 » Noetherian Spaces in Verification |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
WSC
2004
13 years 9 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Traditionally, the Universal Background Model (UBM) is viewed as the background model of the entire acoustic feature space. We propose a novel interpretation of the UBM model, and...
CAV
2007
Springer
14 years 13 days ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
TCS
2008
13 years 8 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...