4693 search results - page 167 / 939 » Verifying Hybrid Systems |
154
click to vote
MASCOTS
1997
15 years 6 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
168
click to vote
QOSA
2010
Springer
15 years 3 months ago
2010
Springer
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
132
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we explore the idea of Intelligent Learning Environment (ILE) by building a system for teaching and learning music in a web-based environment. Our system is a frame...
146
click to vote
AIMSA
1990
Springer
15 years 9 months ago
1990
Springer
The paper discusses the motivation for, heritage, architecture and future development plans of the FuzzyCOPE software environment. FuzzyCOPE is a free software environment for tea...
150
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
– This paper addresses the problem of resource allocation in a multiservice optical network based on an Overlapped-CDMA system. A joint transmission power and overlapping coeffic...