From structure-from-motion point clouds to fast location recognition

A Irschara, C Zach, JM Frahm… - 2009 IEEE Conference …, 2009 - ieeexplore.ieee.org
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 …

[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 …

Scisim: a software performance estimation framework using source code instrumentation

Z Wang, A Sanchez, A Herkersdorf - Proceedings of the 7th International …, 2008 - dl.acm.org
Recently, software performance estimation based on source code instrumentation shows
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 …

MC-Sim: An efficient simulation tool for MPSoC designs

J Cong, K Gururaj, G Han, A Kaplan… - 2008 IEEE/ACM …, 2008 - ieeexplore.ieee.org
The ability to integrate diverse components such as processor cores, memories, custom
hardware blocks and complex network-on-chip (NoC) communication frameworks onto a …

Fast and accurate cosimulation of MPSoC using trace-driven virtual synchronization

Y Yi, D Kim, S Ha - … Transactions on Computer-Aided Design of …, 2007 - ieeexplore.ieee.org
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 …

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 …

Dynamic and formal verification of embedded systems: A comparative survey

M Loghi, T Margaria, G Pravadelli, B Steffen - International Journal of …, 2005 - Springer
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 …

Adapting quality assurance to adaptive systems: the scenario coevolution paradigm

T Gabor, M Kiermeier, A Sedlmeier, B Kempter… - … Applications of Formal …, 2018 - Springer
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 …

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 …