Sciweavers

5407 search results - page 740 / 1082
» The Software Engineering Global Model
Sort
View
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
16 years 29 days ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
VLDB
1998
ACM
138views Database» more  VLDB 1998»
15 years 11 months ago
TOPAZ: a Cost-Based, Rule-Driven, Multi-Phase Parallelizer
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
Clara Nippl, Bernhard Mitschang
HICSS
1997
IEEE
98views Biometrics» more  HICSS 1997»
15 years 11 months ago
Recovery and Page Coherency for a Scalable Multicomputer Object Store
This paper presents scalable algorithms for recovery and page coherency in multicomputer object stores. Recovery and coherency are central to object store engineering and distribu...
Stephen M. Blackburn, Robin B. Stanton, Stephan J....
ROBOCUP
2009
Springer
198views Robotics» more  ROBOCUP 2009»
16 years 1 months ago
Omnidirectional Walking Using ZMP and Preview Control for the NAO Humanoid Robot
Fast-paced dynamic environments like robot soccer require highly responsive and dynamic locomotion. We present an implementation of an omnidirectional ZMP-based walk engine for the...
Johannes Strom, George Slavov, Eric Chown
ICNSC
2008
IEEE
16 years 1 months ago
Synchronization of a General Delayed Complex Dynamical Network via Adaptive Feedback
— Complex networks have attracted much attention from various fields of sciences and engineering over the last ten years. To reveal the dynamical mechanism of synchronization in...
Qunjiao Zhang, Junan Lu, Jinhu Lii