acmtecs.acm.org

ces.itec.kit.edu

KIT - CES Events/News

http://ces.itec.kit.edu/61.php

Chair for Embedded Systems. Events / News 2016. The SiLago Method: Next Generation VLSI Architecture and Design Methods. Dept of Electronics and Embedded Systems, School of ICT, KTH, Kista, Sweden. Monday, July 18th, 11:00. Building 30.10, room 339. Opportunistic Memory Systems in Presence of Hardware Variability. PhD Candidate Mark Gottscho,. University of California, USA. Friday, June 24th, 10:00. FZI building, Seminarraum NEW YORK (Erdgeschoss). Prof Enrico Bini,. University of Torino, Italy. IEEE Des...

codesign.ece.gatech.edu

Vincent Mooney Publications

http://codesign.ece.gatech.edu/papers/papers.html

Publications (as of November 2015). Jun Cheol Park, Sleepy Stack: a New Approach to Low Power VLSI and Memory. PhD dissertation, Georgia Institute of Technology, Atlanta, Summer 2005. Presentation (pdf). Yudong Tan, Cache Design and Timing Analysis for Preemptive Multi-tasking Real-Time Uniprocessor Systems. PhD dissertation, Georgia Institute of Technology, Atlanta, Spring 2005. Presentation (pdf). Jaehwan Lee, Hardware/Software Deadlock Avoidance for Multiprocessor Multiresource System-on-a-Chip. Moham...

sibin-research.blogspot.com

Sibin Mohan: Professional Activities.

http://sibin-research.blogspot.com/2007/01/professional-activities.html

I am a member of ACM. The IEEE Computer Society. And ACM Special Interest group on Embedded Systems. Work in progress session. Real-Time and Embedded Systems Symposium. 2nd International Workshop on Cyber-Physical Systems. First ACM International Workshop on Wireless-Grade Medical Networks. Real-Time and Embedded Systems Symposium. Symposium for Graduate Research. At NC State University, 2008. Apart from the above PC’s, I have also participated in reviewing papers. At NC State, in the past.

esl.cise.ufl.edu

Embedded Systems Lab :: Upcoming Conferences

http://esl.cise.ufl.edu/publications.html

Prabhat Mishra, Swarup Bhunia and Mark Tehranipoor (Editors), Hardware IP Security and Trust. Springer, September 2016 (tentative). Mingsong Chen, Xiaoke Qin, Heon-Mo Koo and Prabhat Mishra, System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. ISBN: 978-1-4614-1358-5, Springer, August 2012. Weixun Wang, Prabhat Mishra and Sanjay Ranka, Dynamic Reconfiguration in Real-Time Systems - Energy, Performance, Reliability and Thermal Perspectives. Heon-Mo Koo, Coverage-driven Tes...

caesr.uwaterloo.ca

CAESR

https://caesr.uwaterloo.ca/index.html

Our research is in the design and analysis of embedded systems including both software and hardware aspects. Of particular interest are topics such as models of computation, real-time embedded systems, compilers and computer architecture. Path Selection for Real-Time Communication on Priority-Aware NoCs. By Kashif, H., Patel, H. and Fischmeister, S. In ACM Transactions on Design Automation of Electronic Systems (TODAES). Pp 1 25, Jan. 2016. Buffer Space Allocation for Real-Time Priority-Aware Networks.

tbrk.org

Timothy Bourke

http://www.tbrk.org/index.html

In the team PARKAS. C/o ENS, Paris. Email, key id: 2048R/2F1AD75D). DC65 95F1 57B5 00CC F865 5F0E 1D08 1AD8 2F1A D75D. Urpal (timed trace inclusion testing). My research focuses on rigorous approaches to. Modelling, programming, and verifying embedded control systems. A long time ago), an infrared sensor. A microkernel operating system. As part of a large group), a microprinter component. Or a wireless routing protocol. PC member of RTAS 2016. EMSOFT (2015, 2016). 2013, 2016), J. Logic and Computation.

cyber.fiu.edu

Security Journals | Cyber Security

http://cyber.fiu.edu/security-journals

Network and Security Organization. For FIU students: access to E-Journal resources on Cyber Security: http:/ libguides.fiu.edu/research. IEEExplore Digital Library: http:/ ieeexplore.ieee.org/xpl/periodicals.jsp. List of Security Journals. TISSEC-ACM Transactions on Information and System Security. DCC-Designs, Codes and Cryptography. IEEE Security and Privacy. IEEE Transactions on Information Forensics and Security. IEEE Transactions on Dependable and Secure Computing. Elsevier Computers and Security.

hpcag.org

links | high performance computer arithmetic group

http://www.hpcag.org/node/13

انتقال به محتوای اصلی. Nano Computing with Emphasis on Quantum-Dot Cellular Automata (QCA). Design of Circuits for Efficient Implementation of Residue Number System (RNS). Special Session, ISIC 2014, Residue Number Systems: Modern Design Techniques and Applications. IEEE Symposium on Computer Arithmetic (Arith). IEEE Symposium on Circuits and Systems (ISCAS). IEEE Symposium on VLSI (ISVLSI). IEEE Transactions on Computer (TC). IEEE Transactions on VLSI (TVLSI). Integration, the VLSI Journal (Elsevier).