Sciweavers

1711 search results - page 40 / 343
» Completing pseudojump operators
Sort
View
FTRTFT
1998
Springer
14 years 2 days ago
Operational and Logical Semantics for Polling Real-Time Systems
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
Henning Dierks, Ansgar Fehnker, Angelika Mader, Fr...
APCSAC
2001
IEEE
13 years 11 months ago
The First Real Operating System for Reconfigurable Computers
Traditional reconfigurable computing platforms are designed to be single user and have been acknowledged to be difficult to design applications for. The design tools are still pri...
Grant B. Wigley, David A. Kearney
ISER
2000
Springer
88views Robotics» more  ISER 2000»
13 years 11 months ago
Design, Implementation, and Remote Operation of the Humanoid H6
Abstract: The paper describes the humanoid robot \H6", which was designed to serve as a platform for experimental research on the development of advanced humanoid-type robots....
Satoshi Kagami, Koichi Nishiwaki, James J. Kuffner...
JFP
2008
109views more  JFP 2008»
13 years 7 months ago
An operational semantics for Scheme
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
Jacob Matthews, Robert Bruce Findler
IITA
2007
13 years 9 months ago
An Ergonomics Study of Menu-Operation on Mobile Phone Interface
: The studies on user and mobile phone interaction have been an important problem in small screen interface design. The present study was intend to investigate the impact of three ...
Xuemin Zhang, Wen Shan, Qin Xu, Bin Yang, Yun-Feng...