4586 search results - page 46 / 918 » Computing stable models in parallel |
IPPS
2010
IEEE
15 years 10 days ago
2010
IEEE
IPPS
2010
IEEE
15 years 10 days ago
2010
IEEE
IPPS
2010
IEEE
15 years 10 days ago
2010
IEEE
109
click to vote
SPAA
1990
ACM
15 years 6 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 ...
112
click to vote
SCL
2010
15 years 24 days 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, ...