Sciweavers

2002 search results - page 84 / 401
» An Approach for Assessment of Reliability of the System Usin...
Sort
View
136
Voted
CDC
2010
IEEE
133views Control Systems» more  CDC 2010»
14 years 10 months ago
Estimating state-space models in innovations form using the expectation maximisation algorithm
The expectation maximisation (EM) algorithm has proven to be effective for a range of identification problems. Unfortunately, the way in which the EM algorithm has previously been ...
Adrian Wills, Thomas B. Schön, Brett Ninness
141
Voted
SDL
2007
171views Hardware» more  SDL 2007»
15 years 4 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...
143
Voted
CODES
2008
IEEE
15 years 5 months ago
Software optimization for MPSoC: a mpeg-2 decoder case study
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
Eric Cheung, Harry Hsieh, Felice Balarin
118
Voted
BMCBI
2006
147views more  BMCBI 2006»
15 years 3 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff
117
Voted
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 7 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...