Sciweavers

3424 search results - page 296 / 685
» Building Diverse Computer Systems
Sort
View
LPAR
2010
Springer
15 years 12 days ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
MMAS
2010
Springer
14 years 9 months ago
Simplified Modelling of a Thermal Bath, with Application to a Fluid Vortex System
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
Svetlana Dubinkina, Jason Frank, Ben Leimkuhler
PE
2010
Springer
124views Optimization» more  PE 2010»
14 years 9 months ago
High-level approach to modeling of observed system behavior
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, B...
IJCNN
2008
IEEE
15 years 9 months ago
Adaptation of barn owl localization system with spike timing dependent plasticity
— To localize a seen object, the superior colliculus of the barn owl integrates the visual and auditory localization cues which are accessed from the sensory system of the brain....
Juan Huo, Alan F. Murray, Leslie Smith, Zhijun Yan...
MSS
2003
IEEE
130views Hardware» more  MSS 2003»
15 years 7 months ago
zFS - A Scalable Distributed File System Using Object Disks
zFS is a research project aimed at building a decentralized file system that distributes all aspects of file and storage management over a set of cooperating machines interconne...
Ohad Rodeh, Avi Teperman