489 search results - page 19 / 98 » Guiding Spin Simulation |
ICAI
2004
13 years 9 months ago
2004
This paper proposes the Simulated Behaviors Approach for using simulation to investigate the structure and function of control architectures for behavior based mobile robots. The ...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
Abstract—This paper describes and compares alternative architectures for achieving the functional goals of name oriented networking. The CCN (content-centric network) scheme prop...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper explores optimization techniques of the synchronization mechanisms for MPSoCs based on complex interconnect (Network-on-Chip), targeted at future powerefficient system...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...