3370 search results - page 157 / 674 » Correlation Embedding Analysis |
113
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
JSYML
2002
15 years 3 months ago
2002
A nonstandard set theory ZFC is proposed that axiomatizes the nonstandard embedding . Besides the usual principles of nonstandard analysis, all axioms of ZFC except regularity are...
135
Voted
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
128
click to vote
ISLPED
2006
ACM
15 years 9 months ago
2006
ACM
Light-weight embedded systems are now gaining more popularity due to the recent technological advances in fabrication that have resulted in more powerful tiny processors with grea...
126
Voted
WISES
2004
15 years 4 months ago
2004
-- Debugging software that runs on highly integrated System-on-Chip devices is complicated because conventional debug tools (like traditional In-Circuit Emulators and Logic Analyze...