2615 search results - page 396 / 523 » Analysis of Real Time Operating System Based Applications |
118
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
: This paper provides a methodology to characterize the accuracy of PMU data (GPS-synchronized) and the applicability of this data for monitoring system stability via visualization...
180
click to vote
VEE
2012
ACM
13 years 10 months ago
2012
ACM
With the shift to many-core chip multiprocessors (CMPs), a critical issue is how to effectively coordinate and manage the execution of applications and hardware resources to overc...
134
click to vote
ENTCS
2011
14 years 10 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
152
click to vote
IWCMC
2010
ACM
15 years 3 months ago
2010
ACM
Future wireless networks will experience a continuous growth regarding the number of network elements with increasingly complex interrelations between the configuration of multipl...
132
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...