Sciweavers

955 search results - page 140 / 191
» A System for Solving Constraint Satisfaction Problems with S...
Sort
View
DFT
2003
IEEE
113views VLSI» more  DFT 2003»
14 years 1 months ago
Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip
Test scheduling and Test Access Mechanism (TAM) design are two important tasks in the development of a System-on-Chip (SOC) test solution. Previous test scheduling techniques assu...
Anders Larsson, Erik Larsson, Petru Eles, Zebo Pen...
AAAI
2000
13 years 9 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
14 years 29 days ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
ICIP
2009
IEEE
14 years 9 months ago
A Generic Variational Approach For Demosaicking From An Arbitrary Color Filter Array
We propose a method to demosaick images acquired with a completely arbitrary color filter array (CFA). We adopt a variational approach where the reconstructed image has maximal sm...
ICCAD
2002
IEEE
149views Hardware» more  ICCAD 2002»
14 years 5 months ago
Battery-aware power management based on Markovian decision processes
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
Peng Rong, Massoud Pedram