Conference Proceedings
the 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2014)
Date: June 3, 2014 Location: Hyderabad, India Website: http://www.formalise.org/ Mahesh Nanjundappa, Sandeep K. Shukla, "Compiling Polychronous...
The 9th ACM Symposium on Information, Computer and Communications Security (ASIA CCS’14)
Date: June 3-6, 2014 Location: Kyoto, Japan Website: http://asiaccs2014.nict.go.jp/ Moreno Ambrosin, Mauro Conti, Paolo Gasti, Gene Tsudik, "Covert...
IEEE International Conference on Communications (ICC)
Date: June 2014 Location: Sydney Australia Website: icc2014.ieee-icc.org/ Kiyoshi Nakayama, Nga Dang, Lubomir Bic, Michael Dillencourt, Eli...
IEEE International Symposium on Circuits and Systems (ISCAS 2014)
Date: June 1-5, 2014 Location: Melbourne, Victoria, Australia Website: iscas2014.org/ Chung-An Shen, Muhammad S. Khairy, Ahmed M. Eltawil, Fadi J....
The 51st Annual Design Automation Conference 2014 (DAC’14)
Date: June 1-5, 2014 Location: San Francisco, CA Website: https://dac.com/ Vasileios Kontorinis, Mohammad Khavari Tavana, Mohammad H. Hakazemi, Dean...
2014 IEEE International Conference on Robotics & Automation (ICRA)
Date: May 31-June 7, 2014 Location: Hong Kong, China Website: www.icra2014.com/ Liam D. Bucci, Ting-Shuo Chou, Jeffrey L. Krichmar, "Sensory...
Symposium on Theory of Computing (STOC 2014)
Date: May 31-June 3, 2014 Location: New York, NY Website: acm-stoc.org/ Michael T. Goodrich, "Zig-zag Sort: A Simple Deterministic Data-Oblivious...
ACM Great Lakes Symposium on VLSI (GLSVLSI’14)
Date: May 21-23, 2014 Location: Houston, TX Website: http://www.glsvlsi.org/archive/glsvlsi14/FINAL%20GLSVLSI%202014.05.14.pdf Amey M. Kulkarni,...
ACM Great Lakes Symposium on VLSI 2014
Date: May 21-23, 2014 Location: Houston, TX Website: www.glsvlsi.org/ Yi Xiang, Sudeep Pasricha, "A Hybrid Framework for Application Allocation and...
Conference on Computing Frontiers (CF’14)
Date: May 20-22, 2014 Location: Cagliari, Italy Website: www.computingfrontiers.org/2014/ Taesu Kim, Dali Zhao, Alexander V. Veidenbaum, "Multiple...
35th IEEE Symposium on Security and Privacy
Date: May 18-21, 2014 Location: San Jose, CA Website: www.ieee-security.org/TC/SP2014/ Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz,...
2014 IEEE Network Operations and Management Symposium (NOMS 2014)
Date: May 5-9, 2014 Location: Krakow, Poland Website: noms2014.ieee-noms.org/ Zhijing Qin, Grit Denker, Carlo Giannelli, Paolo Bellavista, Nalini...
IEEE Conference on Computer Communications (INFOCOM’14)
Date: April 27, 2014 – May 2, 2014 Location: Toronto, Canada Website: infocom2014.ieee-infocom.org/ Ngoc Do, Ye Zhao, Shu-Ting Wang, Cheng-Hsin Hsu...
IEEE 9th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP)
Date: April 21-22, 2014 Location: Singapore Website: issnip.unimelb.edu.au/ Jinseok Yang, Tajana Simunic Rosing, Sameer S. Tilak, "Leveraging...
The 13th International Symposium on Information Processing in Sensor Networks (IPSN 2014)
Date: April 15-17, 2014 Location: Berlin, Germany Website: ipsn.acm.org/2014/ Jo-Ping Li, Shin-Yi Chang, Pai H. Chou, "Demonstration Abstract:...
11th IEEE International Conference on Networking, Sensing and Control (ICNSC 2014)
Date: April 7-9, 2014 Location: Miami, FL, USA Website: www.icnsc.org/ Matthew Anderson, Sandeep K. Shukla, "APECS Code Synthesis: Extending Ocarina...
The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nonoscale (MEDIAN’14)
Date: March 28, 2014 Location: Dresden, Germany Website: www.median-project.eu/events/median2014 Ihsen Alouani, Smail Niar, Mazen A. R. Saghir, Fadi...
IEEE/ACM Design Automation and Test in Europe (DATE)
Date: March 24-28, 2014 Location: Dresden, Germany Website: https://www.date-conference.com/date14/ Adarsh Reddy Ashammagari, Hamid Mahmoodi, Houman...
The International Symposium on Quality Electronic Design (ISQED)
Date: March 16-18, 2014 Location: Santa Clara, CA Website: www.isqed.org/ Shirish Bahirat, Sudeep Pasricha, “HELIX: Design and Synthesis of Hybrid...
SPIE Nondestructive Characterization for Composite Materials Aerospace Engineering, Civil Infrastructure, and Homeland Security VIII
Date: March 10-13, 2014 Location: San Diego, CA Website: http://spie.org/Publications/Proceedings/Volume/8694 Ting-Chou Chien, Chengjia Huo, Pai H....