IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2014)

Date: June 8-9, 2014 Location: Reno, NV, USA Website: http://ppgca.dainf.ct.utfpr.edu.br/seus2014/doku.php?id=start Tom Springer, Steffen Peter, Tony Givargis, “Resource Synchronization in Hierarchically Scheduled Real-Time Systems using Preemptive Critical...

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 Programs into Conditional Partial Orders for ASIP Synthesis,” the 2nd FME Workshop on Formal Methods in Software...

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 Ephemeral Communication in Named Data Networking,” The 9th ACM Symposium on Information, Computer and...

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 Bozorgzadeh, Nalini Venkatasubramanian, “Distributed Flow Optimization Control for Energy-Harvesting Wireless Sensor...

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. Kurdahi, “Lowe Power Reduced-complexity Error-Resilient MIMO Detector,” ,” IEEE International Symposium...