241 search results - page 22 / 49 » Tool-support for the analysis of hybrid systems and models |
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
TWC
2010
13 years 2 months ago
2010
Wideband source localization using acoustic sensor networks has been drawing a lot of research interest recently in wireless communication applications, such as cellular handset lo...
HAPTICS
2005
IEEE
14 years 1 months ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
HYBRID
2010
Springer
13 years 5 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
HYBRID
2003
Springer
14 years 25 days ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...