1549 search results - page 246 / 310 » Embedded Application Design Using a Real-Time OS |
FASE
2004
Springer
15 years 1 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We present several new methods for coding of spectrum coefficients in embedded audio codecs. In audio codecs, the spectrum is often divided in sub-bands, and quantized using a vec...
105
click to vote
RTAS
2010
IEEE
14 years 7 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
FCCM
2006
IEEE
15 years 3 months ago
2006
IEEE
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...