Sciweavers

1791 search results - page 70 / 359
» Behavioral Operations
Sort
View
ECP
1997
Springer
105views Robotics» more  ECP 1997»
15 years 4 months ago
Planning, Learning, and Executing in Autonomous Systems
Systems that act autonomously in the environment have to be able to integrate three basic behaviors: planning, execution, and learning. Planning involves describing a set of action...
Ramón García-Martínez, Daniel...
CAV
2012
Springer
265views Hardware» more  CAV 2012»
13 years 2 months ago
An Axiomatic Memory Model for POWER Multiprocessors
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayv...
FORMATS
2006
Springer
15 years 3 months ago
On Timed Simulation Relations for Hybrid Systems and Compositionality
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
Goran Frehse
AICT
2006
IEEE
118views Communications» more  AICT 2006»
15 years 1 months ago
Web Service Offerings Language (WSOL) Support for Context Management of Mobile/Embedded XML Web Services
Specification of monitored context properties and their influence on behavior of Web services and management activities is a prerequisite for contextsensitive operation, which is ...
Vladimir Tosic, Hanan Lutfiyya, Yazhe Tang
ET
2007
119views more  ET 2007»
14 years 12 months ago
Analysis and Test of Resistive-Open Defects in SRAM Pre-Charge Circuits
In this paper, we present an exhaustive study on the influence of resistive-open defects in pre-charge circuits of SRAM memories. In SRAM memories, the pre-charge circuits operate...
Luigi Dilillo, Patrick Girard, Serge Pravossoudovi...