7195 search results - page 515 / 1439 » On Computing Power |
184
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
192
click to vote
CGI
2000
IEEE
15 years 10 months ago
2000
IEEE
A new Extensible Markup Language (XML) application, Molecular Dynamics Language (MoDL) has been developed. MoDL provides a simple, but powerful tool for molecular dynamics visuali...
174
click to vote
FOCS
1998
IEEE
15 years 10 months ago
1998
IEEE
It is known that there exists a PCP characterization of NP where the verifier makes 3 queries and has a onesided error that is bounded away from 1; and also that 2 queries do not ...
194
click to vote
CG
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Depth-first proof-number (df-pn) search is a powerful member of the family of algorithms based on proof and disproof numbers. While df-pn has succeeded in practice, its t...
156
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
Die-to-die and within-die variations impact the frequency and power of fabricated dies, affecting functionality, performance, and revenue. Variation-tolerant circuits and post-sil...