410 search results - page 71 / 82 » Embedded Operating System Energy Analysis and Macro-Modeling |
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
100
click to vote
VEE
2010
ACM
15 years 6 months ago
2010
ACM
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
102
click to vote
SERA
2004
Springer
15 years 5 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
118
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...