5200 search results - page 94 / 1040 » Symbolic models for control systems |
164
click to vote
IJHPCA
2002
15 years 5 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
185
click to vote
HERCMA
2001
15 years 7 months ago
2001
Interactive systems, games, VR and multimedia systems require more and more flexible Virtual Humans with individualities. There are mainly two approaches: 1) Recording the motion u...
144
click to vote
EMS
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper presents investigations into the development of control schemes for end-point vibration suppression and input tracking of a flexible manipulator. A constrained planar s...
147
click to vote
ICC
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
170
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...