From structure-from-motion point clouds to fast location recognition
Efficient view registration with respect to a given 3D reconstruction has many applications
like inside-out tracking in indoor and outdoor environments, and geo-locating images from …
like inside-out tracking in indoor and outdoor environments, and geo-locating images from …
[BOOK][B] Enhancing Embedded Systems Simulation
C Köhler - 2011 - Springer
The complexity of embedded hardware/software systems increases every year. For
example, the currently implemented embedded systems in cars consist of 10 to 100 million …
example, the currently implemented embedded systems in cars consist of 10 to 100 million …
Scisim: a software performance estimation framework using source code instrumentation
Recently, software performance estimation based on source code instrumentation shows
promising results in the literature. It achieves significant speedup without compromising …
promising results in the literature. It achieves significant speedup without compromising …
Functional verifications for SoC software/hardware co-design: From virtual platform to physical platform
YL Lin, AWY Su - 2011 IEEE International SoC Conference, 2011 - ieeexplore.ieee.org
This paper applies heterogeneous simulation to achieve system and functional level co-
verification throughout SoC design flow. It reduces high verification complexity resulted from …
verification throughout SoC design flow. It reduces high verification complexity resulted from …
MC-Sim: An efficient simulation tool for MPSoC designs
The ability to integrate diverse components such as processor cores, memories, custom
hardware blocks and complex network-on-chip (NoC) communication frameworks onto a …
hardware blocks and complex network-on-chip (NoC) communication frameworks onto a …
Fast and accurate cosimulation of MPSoC using trace-driven virtual synchronization
As MPSoC has become an effective solution to ever-increasing design complexity of modern
embedded systems, fast and accurate cosimulation of such systems is becoming a tough …
embedded systems, fast and accurate cosimulation of such systems is becoming a tough …
Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation
M Krause, D Englert, O Bringmann… - … of the 6th IEEE/ACM/IFIP …, 2008 - dl.acm.org
Instruction set simulation and real time operating system modeling have become important
issues for the design of distributed embedded systems. This paper presents a holistic …
issues for the design of distributed embedded systems. This paper presents a holistic …
Dynamic and formal verification of embedded systems: A comparative survey
Embedded Systems, by their nature, constitute a meeting point for communities with
extremely different background. In particular, the high demands for quality and reliability for …
extremely different background. In particular, the high demands for quality and reliability for …
Adapting quality assurance to adaptive systems: the scenario coevolution paradigm
From formal and practical analysis, we identify new challenges that self-adaptive systems
pose to the process of quality assurance. When tackling these, the effort spent on various …
pose to the process of quality assurance. When tackling these, the effort spent on various …
Verification and scheduling techniques for real-time embedded systems
LA Cortés - 2005 - diva-portal.org
Embedded computer systems have become ubiquitous. They are used in a wide spectrum of
applications, ranging from household appliances and mobile devices to vehicle controllers …
applications, ranging from household appliances and mobile devices to vehicle controllers …