Sciweavers

5639 search results - page 508 / 1128
» Timed Abstract Non-interference
Sort
View
ISCAS
2007
IEEE
114views Hardware» more  ISCAS 2007»
15 years 11 months ago
A Spike-Based Saccadic Recognition System
Abstract— We present a spike-based saccadic recognition system that uses a temporal-derivative silicon retina on a pan-tilt unit and an aVLSI multi-neuron classifier with a time...
Matthias Oster, Patrick Lichtsteiner, Tobi Delbr&u...
ISCAS
2007
IEEE
121views Hardware» more  ISCAS 2007»
15 years 11 months ago
Topological Placement with Multiple Symmetry Groups of Devices for Analog Layout Design
Abstract– This paper presents an improved topological algorithm for device-level analog placement with symmetry constraints. Based on the exploration of symmetric-feasible sequen...
Karthik Krishnamoorthy, Sarat C. Maruvada, Florin ...
ISCAS
2007
IEEE
111views Hardware» more  ISCAS 2007»
15 years 11 months ago
Boundaries Between Fast-and Slow-Scale Bifurcations in Parallel-Connected Buck Converters
Abstract— This paper studies a system of parallelconnected dc/dc converters under master-slave current sharing and proportional-integral (PI) PWM control. Two distinct types of b...
Yuehui Huang, Herbert H. C. Iu, C. K. Michael Tse
127
Voted
ISCAS
2007
IEEE
91views Hardware» more  ISCAS 2007»
15 years 11 months ago
A New Handheld Biochip-based Microsystem
Abstract— This paper presents a recently developed handheld biochip-based microsystem. The microsystem is based on a magneto-resistive array biochip composed of a number of sensi...
Paulo Alexandre Crisóstomo Lopes, J. German...
QEST
2007
IEEE
15 years 11 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns