User: Guest  Login
Sort by:
and:
More ...

Chakraborty, Samarjit;Lukasiewycz, Martin;Buckl, Christian;Fahmy, Suhaib;Chang, Naehyuck;Park, Sangyoung;Kim, Younghyun;Leteinturier, Patrick;Adlkofer, Hans
Embedded Systems and Software Challenges in Electric Vehicles
International Conference on Design, Automation and Test in Europe (DATE)
2012

More ...

Stoimenov, Nikolay;Chakraborty, Samarjit;Thiele, Lothar
Interface-based Design of Real-Time Systems
Advances in Real-Time Systems (monograph in the honour of Prof. Georg Färber' 34 years of service to TU München as the Chairholder of the Lehrstuhl für Realzeit-Computersysteme)
Chakraborty, Samarjit;Eberspächer, Jörg
Springer
2012

More ...

Scharfenberger,Christian;Chakraborty, Samarjit;Färber, Georg
Robust Image Processing for an Omnidirectional Camera-based Smart Car Door
ACM Transactions on Embedded Computing Systems (TECS) (to appear)
2012

More ...

Dietrich, Benedikt;Chakraborty, Samarjit
Managing Power for Closed-Source Android OS Games by Lightweight Graphics Instrumentation
NETGAMES
2012

More ...

Zhang, L.;Sturm, J.;Cremers, D.;Lee, D.
Real-Time Human Motion Tracking using Multiple Depth Cameras
Proc. of the International Conference on Intelligent Robot Systems (IROS)
2012

More ...

Voit, Harald;Annaswamy, Anuradha;Schneider, Reinhard;Goswami, Dip;Chakraborty, Samarjit
Adaptive Switching Controllers for Tracking with Hybrid Communication Protocols
Conference on Decision and Control (CDC)
2012

More ...

Annaswamy, Anuradha;Chakraborty, Samarjit;Soudbakhsh, Damoon;Goswami, Dip;Voit, Harald
The Arbitrated Networked Control Systems Approach to Designing Cyber-Physical System
3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems
2012

More ...

Berndt, Rüdiger;Bazan, Peter;Hielscher, Kai-Steffen;Lukasiewycz, Martin;German, Reinhard
Multi-Valued Decision Diagrams for the Verification of Consistency in Automotive Product Data
Proceedings of QSIC 2012
2012

More ...

Hedrich, Lars;Steinhorst, Sebastian
Trajectory-Directed Discrete State Space Modeling for Formal Verification of Nonlinear Analog Circuits
Proceedings of ICCAD 2012
2012

More ...

Steinhorst, Sebastian;Hedrich, Lars
Equivalence Checking of Nonlinear Analog Circuits for Hierarchical AMS System Verification
Proceedings of VLSI-SoC 2012
2012