Sciweavers

34199 search results - page 120 / 6840
» Petascale Computational Systems
Sort
View
IJON
2008
81views more  IJON 2008»
15 years 6 months ago
Rate versus time representation of high-frequency spectral notches in the peripheral auditory system: A computational modeling s
A computational model of the peripheral auditory system is used to explain the paradoxical observation that discriminating between broadband noise sounds with and without high-fre...
Enrique A. Lopez-Poveda, Ana Alves-Pinto, Alan R. ...
IJON
2000
69views more  IJON 2000»
15 years 6 months ago
PARALLEL NEUROSYS: A system for the simulation of very large networks of biologically accurate neurons on parallel computers
We present a software package for the simulation of very large neuronal networks on parallel computers. The package can be run on any system with an implementation of the Message ...
Peter Pacheco, Marcelo Camperi, Toshi Uchino
DAC
2006
ACM
16 years 7 months ago
Systems for human-powered mobile computing
This article outlines several projects aimed at generating electrical energy by passively tapping a variety of human body sources and activities. After summarizing different energ...
Joseph A. Paradiso
MICCAI
2003
Springer
16 years 7 months ago
Laser Projection Augmented Reality System for Computer Assisted Surgery
A general-purpose augmented reality apparatus was developed. The system uses rapidly scanned lasers to display information directly onto the patient using the patient as a ``proje...
Neil D. Glossop, Chris Wedlake, John Moore, Terry ...
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
16 years 1 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...