Sciweavers

139 search results - page 15 / 28
» A Novel Universal Sequencer Hardware
Sort
View
ACSD
2006
IEEE
80views Hardware» more  ACSD 2006»
14 years 3 months ago
Schedulability Analysis of Petri Nets Based on Structural Properties
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...
ASPDAC
2006
ACM
116views Hardware» more  ASPDAC 2006»
14 years 3 months ago
Abridged addressing: a low power memory addressing strategy
Abstract— The memory subsystem is known to comprise a significant fraction of the power dissipation in embedded systems. The memory addressing strategy, which determines the seq...
Preeti Ranjan Panda
ICRA
2003
IEEE
97views Robotics» more  ICRA 2003»
14 years 3 months ago
The first humanoid robot that has the same size as a human and that can lie down and get up
This paper presents a humanoid robot that has the same size as a human and that can lie down to the floor and get up from the floor with the robot face upward and downward. We b...
Fumio Kanehiro, Kenji Kaneko, Kiyoshi Fujiwara, Ke...
ICCD
2006
IEEE
123views Hardware» more  ICCD 2006»
14 years 6 months ago
Steady and Transient State Analysis of Gate Leakage Current in Nanoscale CMOS Logic Gates
Abstract— Gate leakage (direct tunneling current for sub65nm CMOS) can severely affect both the transient and steady state behaviors of CMOS circuits. In this paper we quantify t...
Saraju P. Mohanty, Elias Kougianos
CAV
2010
Springer
243views Hardware» more  CAV 2010»
14 years 1 months ago
libalf: The Automata Learning Framework
d Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3 , Daniel Neider2 , and David R. Piegdon2 1 LSV, ENS Cachan, CNRS, 2 RWTH Aachen University, 3 ...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...