11112 search results - page 1475 / 2223 » Computing Stuttering Simulations |
252
click to vote
DNA
2007
Springer
16 years 1 months ago
2007
Springer
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
215
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
256
click to vote
ICSOC
2004
Springer
16 years 25 days ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
192
click to vote
LATIN
2004
Springer
16 years 25 days ago
2004
Springer
Predicting and optimizing the performance of ray shooting is a very important problem in computer graphics due to the severe computational demands of ray tracing and other applicat...
223
click to vote
MIDDLEWARE
2004
Springer
16 years 24 days ago
2004
Springer
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...