4586 search results - page 46 / 918 » Computing stable models in parallel |
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
SPAA
1990
ACM
14 years 1 months ago
1990
ACM
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...
SCL
2010
13 years 7 months ago
2010
In this paper we show that incrementally stable nonlinear time–delay systems admit symbolic models which are approximately equivalent, in the sense of approximate bisimulation, ...