Sciweavers

5639 search results - page 508 / 1128
» Timed Abstract Non-interference
Sort
View
ISCAS
2007
IEEE
114views Hardware» more  ISCAS 2007»
16 years 1 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»
16 years 1 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»
16 years 1 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
ISCAS
2007
IEEE
91views Hardware» more  ISCAS 2007»
16 years 1 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...
202
Voted
QEST
2007
IEEE
16 years 1 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