Sciweavers

3256 search results - page 317 / 652
» Integrated Environment for Embedded Control Systems Design
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 4 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
RTAS
2011
IEEE
14 years 7 months ago
Resource Sharing in GPU-Accelerated Windowing Systems
Recent windowing systems allow graphics applications to directly access the graphics processing unit (GPU) for fast rendering. However, application tasks that render frames on the...
Shinpei Kato, Karthik Lakshmanan, Yutaka Ishikawa,...
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 11 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
ICPADS
2006
IEEE
15 years 11 months ago
Secure and High-Performance Web Server System for Shared Hosting Service
We developed Hi-sap, a web server system that ensures the security in a server and has high performance when processing dynamic content. In existing servers, server embedded progr...
Daisuke Hara, Yasuichi Nakayama
CRV
2009
IEEE
132views Robotics» more  CRV 2009»
15 years 11 months ago
A Vision-Based Control and Interaction Framework for a Legged Underwater Robot
We present a vision-based control and interaction framework for mobile robots, and describe its implementation in a legged amphibious robot. The control scheme enables the robot t...
Junaed Sattar, Gregory Dudek