Sciweavers

1739 search results - page 144 / 348
» Battery Model for Embedded Systems
Sort
View
INFSOF
2006
66views more  INFSOF 2006»
14 years 10 months ago
Scenario-based multitasking for real-time object-oriented models
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
Saehwa Kim, Jiyong Park, Seongsoo Hong
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
15 years 4 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
WSTFEUS
2003
IEEE
15 years 3 months ago
SCA-based Component Framework for Software Defined Radio
SCA (Software Communication Architecture), which has been adopted as a SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common design p...
Saehwa Kim, Jamison Masse, Seongsoo Hong, Naehyuck...
ICASSP
2011
IEEE
14 years 1 months ago
Asymmetric acoustic modeling of mixed language speech
We propose to improve speech recognition performance on speaker-independent, mixed language speech by asymmetric acoustic modeling. Mixed language is either inter-sentential code ...
Ying Li, Pascale Fung, Ping Xu, Yi Liu
ENTCS
2006
141views more  ENTCS 2006»
14 years 10 months ago
A Concurrent Model for Linear Logic
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
Emmanuel Beffara