5863 search results - page 881 / 1173 » On Model-Checking of P Systems |
159
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
—Every year the computing resources available on dynamically partially reconfigurable devices increase enormously. In the near future, we expect many applications to run on a si...
181
click to vote
DSD
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
170
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Stochastic self-reconfiguring robots are modular robots that possess the ability to autonomously change the arrangement of their modules and do so through the use of nondetermi...
163
click to vote
MJ
2008
15 years 5 months ago
2008
We study the electronic and transport properties of heterostructures formed by armchair graphene nanoribbons with intersections of finite length. We describe the system by a tight...
144
click to vote
ACL
2010
15 years 4 months ago
2010
We present a grand challenge to build a corpus that will include all of the world's languages, in a consistent structure that permits large-scale cross-linguistic processing,...