Sciweavers

4798 search results - page 356 / 960
» A Time for Change
Sort
View
MICCAI
2007
Springer
16 years 7 months ago
Characterizing Task-Related Temporal Dynamics of Spatial Activation Distributions in fMRI BOLD Signals
We present a new functional magnetic resonance imaging (fMRI) analysis method that incorporates both spatial and temporal dynamics of bloodoxygen-level dependent (BOLD) signals wit...
Bernard Ng, Rafeef Abugharbieh, Samantha J. Palmer...
ICCAD
2007
IEEE
130views Hardware» more  ICCAD 2007»
16 years 3 months ago
Analysis and optimization of power-gated ICs with multiple power gating configurations
- Power gating is an efficient technique for reducing leakage power in electronic devices by disconnecting blocks idle for long periods of time from the power supply. Disconnecting...
Aida Todri, Malgorzata Marek-Sadowska, Shih-Chieh ...
WETICE
2005
IEEE
16 years 9 days ago
Host Behaviour Based Early Detection of Worm Outbreaks in Internet Backbones
We propose a novel near real-time method for early detection of worm outbreaks in high-speed Internet backbones. Our method attributes several behavioural properties to individual...
Thomas Dübendorfer, Bernhard Plattner
ICCAD
1994
IEEE
65views Hardware» more  ICCAD 1994»
15 years 11 months ago
Incremental formal design verification
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
Gitanjali Swamy, Robert K. Brayton
ECIS
2004
15 years 8 months ago
Agile Security For Information Warfare: A Call For Research
The context of information security is changing dramatically. Networking technologies have driven the global expansion of electronic commerce. Electronic commerce is increasingly ...
Richard Baskerville