Sciweavers

163 search results - page 12 / 33
» Living machines
Sort
View
DNA
2006
Springer
129views Bioinformatics» more  DNA 2006»
14 years 1 months ago
P Systems with Active Membranes Characterize PSPACE
P system is a natural computing model inspired by behavior of living cells and their membranes. We show that (semi-)uniform families of P systems with active membranes can solve i...
Petr Sosík, Alfonso Rodríguez-Pat&oa...
CLUSTER
2008
IEEE
14 years 4 months ago
Magnet: A novel scheduling policy for power reduction in cluster with virtual machines
—The concept of green computing has attracted much attention recently in cluster computing. However, previous local approaches focused on saving the energy cost of the components...
Liting Hu, Hai Jin, Xiaofei Liao, Xianjie Xiong, H...
TVLSI
2008
124views more  TVLSI 2008»
13 years 9 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
IROS
2006
IEEE
130views Robotics» more  IROS 2006»
14 years 3 months ago
A Novel Distributed Telerobotic System for Construction Machines Based on Modules Synchronization
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...
Eric Rohmer, Kazuya Yoshida, E. Nakano
AIS
2000
Springer
13 years 9 months ago
Early-connectionism machines
: In this paper I put forward a reconstruction of the evolution of certain explanatory hypotheses on the neural basis of association and learning that are the premises of connectio...
Roberto Cordeschi