Sciweavers

2024 search results - page 84 / 405
» A Logic Based Approach for Dynamic Access Control
Sort
View
IJRR
2000
107views more  IJRR 2000»
15 years 3 months ago
Dynamics Simulation and Controller Interfacing for Legged Robots
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
Jesse A. Reichler, Fred Delcomyn
FMCAD
2008
Springer
15 years 4 months ago
Augmenting a Regular Expression-Based Temporal Logic with Local Variables
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
Cindy Eisner, Dana Fisman
120
Voted
IAT
2008
IEEE
15 years 9 months ago
Evolving Logic Programming Based Agents with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...
José Júlio Alferes, Alfredo Gabaldon...
HIPEAC
2009
Springer
15 years 7 months ago
ACM: An Efficient Approach for Managing Shared Caches in Chip Multiprocessors
This paper proposes and studies a hardware-based adaptive controlled migration strategy for managing distributed L2 caches in chip multiprocessors. Building on an area-efficient sh...
Mohammad Hammoud, Sangyeun Cho, Rami G. Melhem
ISCAS
2002
IEEE
89views Hardware» more  ISCAS 2002»
15 years 8 months ago
Mapping the wavelet transform onto silicon: the dynamic translinear approach
In this paper, an analog implementation of the Wavelet Transform (WT) is presented. The circuit is based on the Dynamic Translinear (DTL) circuit technique and implements, by mean...
Sandro A. P. Haddad, Wouter A. Serdijn