Sciweavers

1739 search results - page 144 / 348
» Battery Model for Embedded Systems
Sort
View
INFSOF
2006
66views more  INFSOF 2006»
15 years 6 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»
16 years 27 days 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 11 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 10 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»
15 years 6 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