7820 search results - page 45 / 1564 » Formalization of Time and Space |
94
Voted
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
63
Voted
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
JSCIC
2006
15 years 20 days ago
2006
An explicit time-stepping method is developed for adaptive solution of time-dependent partial differential equations with first order derivatives. The space is partitioned into bl...
165
Voted
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Space and time have not received much attention on the Semantic Web so far. While their importance has been recognized recently, existing work reduces them to simple latitude-longi...
107
Voted
CORR
2010
Springer
15 years 24 days 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 ...