4586 search results - page 46 / 918 » Computing stable models in parallel |
72
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
102
click to vote
SPAA
1990
ACM
15 years 5 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 ...
106
click to vote
SCL
2010
14 years 12 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, ...