17449 search results - page 92 / 3490 » Availability |
WSC
1997
13 years 11 months ago
1997
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
ENTCS
2008
13 years 10 months ago
2008
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
CONCURRENCY
2007
13 years 10 months ago
2007
e is used to compose Grid applications from abstract application components that are mapped against available Grid services by the component framework at runtime. key words: compon...
JCT
2007
13 years 10 months ago
2007
We prove that every planar graph with n vertices has at least 2n/9 distinct list-colorings provided every vertex has at least five available colors. © 2006 Elsevier Inc. All rig...
ROBOTICA
2010
13 years 8 months ago
2010
This paper presents a development and testing of a haptic interface compatible with a functional magnetic resonance imaging (fMRI) environment for neuroscience human motor control ...