5493 search results - page 387 / 1099 » Effectively Polynomial Simulations |
146
click to vote
ISCA
1987
IEEE
15 years 10 months ago
1987
IEEE
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to sup...
108
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a methodology for learning spline-based probabilistic models for sets of contours, proposing a new Monte Carlo variant of the EM algorithm to estimate the parameters of...
148
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
- The accuracy of interconnect delay estimations can be improved by the method presented in this paper in which the first two moments are obtained with ABCD matrix and a stable mod...
196
click to vote
CMMR
2005
Springer
15 years 8 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
176
Voted
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Modeling the Internet delay structure is an important issue in designing large-scale distributed systems. However, linear models fail to characterize Triangle Inequality Violation...