Sciweavers

769 search results - page 44 / 154
» The Real-Time Specification for Java
Sort
View
ASPDAC
2000
ACM
157views Hardware» more  ASPDAC 2000»
15 years 3 months ago
An application specific Java processor with reconfigurabilities
The paper presents an application specific Java processor including reconfigurabilities, which is a DLX like pipeline processor with 5 stages and executes Java byte codes directly....
Shinji Kimura, Hiroyuki Kida, Kazuyoshi Takagi, Ta...
COMPSEC
2010
142views more  COMPSEC 2010»
14 years 8 months ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto
OOPSLA
2004
Springer
15 years 5 months ago
Hard real-time: C++ versus RTSJ
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
Daniel L. Dvorak, William K. Reinholtz
AUSDM
2006
Springer
158views Data Mining» more  AUSDM 2006»
15 years 3 months ago
What Types of Events Provide the Strongest Evidence that the Stock Market is Affected by Company Specific News?
The efficient market hypothesis states that an efficient market immediately incorporates all available information into the price of the traded entity. It is well established that...
Calum Robertson, Shlomo Geva, Rodney Wolff
ICRA
1993
IEEE
126views Robotics» more  ICRA 1993»
15 years 4 months ago
Toward a New Intelligent Reactive Controller for Autonomous Mobile Robots
A survey of blackboard robotics applications shows the improvements of blackboard models used in telerobotics and autonomous robots from the use of sequential blackboard in the ro...
Jean-Yves Tigli, Michel Occello, M.-C. Thomas