163 search results - page 3 / 33 » Living machines |
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract— We discuss disciplinary barriers which have traditionally prevented robotics from significantly impacting the built (architectural) environment we inhabit. Specifical...
ALIFE
2007
13 years 5 months ago
2007
In a recent article in Artificial Life, Chu and Ho suggested that Rosen’s central result about the simulability of living systems might be flawed. This argument was later declare...
MASCOTS
2010
13 years 7 months ago
2010
With the ability to move virtual machines between physical hosts, live migration is a core feature of virtualisation. However for migration to be useful, deployable feature on a la...
OSDI
2008
ACM
14 years 6 months ago
2008
ACM
Virtual machine migration greatly aids management by allowing flexible provisioning of resources and decommissioning of hardware for maintenance. However, efforts to improve netwo...
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
13 years 9 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...