5863 search results - page 410 / 1173 » On Model-Checking of P Systems |
214
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
The known fast sequential algorithms for multiplying two N N matrices (over an arbitrary ring) have time complexity ON , where 2 3. The current best value of is less than 2.3755....
177
click to vote
SCL
2008
15 years 7 months ago
2008
Nuclearity of the Hankel operator is a known sufficient condition for convergence of Lyapunov-balanced truncations. We show how a previous result on nuclearity of Hankel operators...
149
click to vote
SIAMNUM
2010
15 years 2 months ago
2010
In this paper we develop boundary value methods for detecting Sacker-Sell spectra in discrete time dynamical systems. The algorithms are advancements of earlier methods for comput...
190
click to vote
ICIW
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—Peer-to-Peer (P2P) systems are widely used for sharing digital items without structured metadata and in absence of any kind of digital rights management applied to the d...
243
click to vote
CCGRID
2003
IEEE
16 years 27 days ago
2003
IEEE
The widespread use of broadband networks and the evolution of Peer-to-Peer systems changed dramatically the way Internet is used today. P2P file sharing networks are one of the mo...