Sciweavers

1539 search results - page 59 / 308
» Is it time for real-time functional programming
Sort
View
RT
2001
Springer
14 years 1 months ago
Point-Based Impostors for Real-Time Visualization
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
Michael Wimmer, Peter Wonka, François X. Si...
FDL
2004
IEEE
14 years 19 days ago
Error Estimation in Model-Driven Development for Real-Time Software
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk ...
FASE
2000
Springer
14 years 15 days ago
Parallel Refinement Mechanisms for Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandriol...
ENGL
2008
122views more  ENGL 2008»
13 years 9 months ago
Real-Time Population Based Optimization for Adaptive Motion Control of Robot Manipulator
A population based real-time optimization method for tuning dynamic position control parameters of robot manipulators has been proposed. Conventionally, the positional control is a...
Mehmet Bodur
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 7 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...