1878 search results - page 195 / 376 » Efficient Performance Models in Component-Based Software Eng... |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
TCOM
2010
14 years 4 months ago
2010
Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. The pr...
CODES
2001
IEEE
15 years 1 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
SIGSOFT
2010
ACM
14 years 4 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
RE
2005
Springer
15 years 3 months ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...