Sciweavers

4763 search results - page 167 / 953
» On the Execution of Deep Models
Sort
View
CONCUR
1989
Springer
15 years 10 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
ICRA
2007
IEEE
173views Robotics» more  ICRA 2007»
16 years 25 days ago
Reaction Mass Pendulum (RMP): An explicit model for centroidal angular momentum of humanoid robots
Abstract— A number of conceptually simple but behaviorrich “inverted pendulum” humanoid models have greatly enhanced the understanding and analytical insight of humanoid dyna...
Sung-Hee Lee, Ambarish Goswami
CCGRID
2007
IEEE
16 years 26 days ago
Performance Evaluation in Grid Computing: A Modeling and Prediction Perspective
Experimental performance studies on computer systems, including Grids, require deep understandings on their workload characteristics. The need arises from two important and closel...
Hui Li
MUE
2007
IEEE
137views Multimedia» more  MUE 2007»
16 years 24 days ago
Process Management Agent
In this paper, agent based process management model is proposed, which is for the process management of knowledge worker and service workers in order to establish the basis for th...
Jeong Ah Kim, Seung Yong Choi
WORDS
2005
IEEE
16 years 2 days ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...