Compiling for memory emergencyKANDEMIR, Mahmut; GUANGYU CHEN; KADAYIF, Ismail et al.ACM SIGPLAN notices. 2005, Vol 40, Num 7, pp 213-221, issn 1523-2867, 9 p.Conference Paper

An effective testing method for hardware related fault in embedded software : Software engineering for embedded systemsSUMI, Takeshi; MIZUNO, Osamu; KIKUNO, Tohru et al.IEICE transactions on information and systems. 2005, Vol 88, Num 6, pp 1142-1149, issn 0916-8532, 8 p.Article

Highly reliable embedded software development using advanced software technologies : Software engineering for embedded systemsKATAYAMA, Takuya; NAKAJIMA, Tatsuo; YUASA, Taiichi et al.IEICE transactions on information and systems. 2005, Vol 88, Num 6, pp 1105-1116, issn 0916-8532, 12 p.Article

Physics-based encapsulation in embedded software for distributed sensing and control applicationsFENG ZHAO; BAILEY-KELLOGG, Chris; FROMHERZ, Markus P. J et al.Proceedings of the IEEE. 2003, Vol 91, Num 1, pp 40-63, issn 0018-9219, 24 p.Article

Das AutoMoDe-Projekt Modellbasierte Entwicklung softwareintensiver Systeme im AutomobilBAUER, Andreas; BROY, Manfred; ROMBERG, Jan et al.Informatik (Berlin, West). 2007, Vol 22, Num 1, pp 45-57, issn 0178-3564, 13 p.Article

Hybrid supervisory control for real-time embedded bus rapid transit applicationsGIRARD, Anouck R; HOWELL, Adam S; HEDRICK, J. Karl et al.IEEE transactions on vehicular technology. 2005, Vol 54, Num 5, pp 1684-1696, issn 0018-9545, 13 p.Article

Successful knowledge transfer within offshore supplier networks : a case study exploring social capital in strategic alliancesROTTMAN, Joseph W.JIT. Journal of information technology (Print). 2008, Vol 23, Num 1, pp 31-43, issn 0268-3962, 13 p.Conference Paper

Giotto: A time-triggered language for embedded programmingHENZINGER, Thomas A; HOROWITZ, Benjamin; KIRSCH, Christoph M et al.Proceedings of the IEEE. 2003, Vol 91, Num 1, pp 84-99, issn 0018-9219, 16 p.Article

AutoFocus : Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme = AutoFocus: a tool prototyp for the development of embedded systemsBROY, M; HUBER, F; SCHÄTZ, B et al.Informatik (Berlin, West). 1999, Vol 14, Num 3, pp 121-134, issn 0178-3564Article

Etude d'une sémantique de la réactivité : variations autour du modèle synchrone et application aux systèmes embarqués = A semantics of reactivity : approaches to a synchronous model and application to embedded systemsBoniol, Frederic; Lécussan, Bernard.1997, 272 p.Thesis

Distributed Real-Time Software for Cyber―Physical Systems: New programming abstractions and modeling tools are presented in this paper to precisely capture the physical notion of time in these systems : CYBER-PHYSICAL SYSTEMSEIDSON, John C; LEE, Edward A; MATIC, Slobodan et al.Proceedings of the IEEE. 2012, Vol 100, Num 1, pp 45-59, issn 0018-9219, 15 p.Article

A distributed development environment for embedded softwareSHIN-YUAN TZOU; JYH-JANG LIM; MENON, J et al.Software, practice & experience. 1993, Vol 23, Num 11, pp 1235-1248, issn 0038-0644Article

SoC multiprocessor debugging and synchronisation using generic dynamic-connect debugger frontendsWIEFERINK, Andreas; KOGEL, Tim; ZERRES, Olaf et al.International journal of embedded systems (Print). 2008, Vol 3, Num 3, pp 109-118, issn 1741-1068, 10 p.Article

Generating embedded software from hierarchical hybrid modelsALUR, Rajeev; IVANCIC, Franjo; JESUNG KIM et al.ACM SIGPLAN notices. 2003, Vol 38, Num 7, pp 171-182, issn 1523-2867, 12 p.Conference Paper

Modeling Cyber―Physical Systems: Developing cyber―physical systems (CPS) models is the main concern of this paper which provides a comprehensive overview of their current state and future directions : CYBER-PHYSICAL SYSTEMSDERLER, Patricia; LEE, Edward A; SANGIOVANNI VINCENTELLI, Alberto et al.Proceedings of the IEEE. 2012, Vol 100, Num 1, pp 13-28, issn 0018-9219, 16 p.Article

A reliable communications architecture for real-time IP mobile applicationsGREGOIRE, J-Ch; ISSA, Omneya; BELALA, Yacine et al.International journal of mobile communications (Print). 2009, Vol 7, Num 4, pp 449-469, issn 1470-949X, 21 p.Article

Offline compression for on-chip RAMCOOPRIDER, Nathan; REGEHR, John.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 363-372, issn 1523-2867, 10 p.Conference Paper

Toward a Science of Cyber―Physical System Integration: This paper focuses on the design phase of the system lifecycle and proposes a passivity-based approach to decouple system stability from cyber timing uncertainties : CYBER-PHYSICAL SYSTEMSSZTIPANOVITS, Janos; KOUTSOUKOS, Xenofon; KARSAI, Gabor et al.Proceedings of the IEEE. 2012, Vol 100, Num 1, pp 29-44, issn 0018-9219, 16 p.Article

Eliminating the Call Stack to Save RAMXUEJUN YANG; COOPRIDER, Nathan; REGEHR, John et al.ACM SIGPLAN notices. 2009, Vol 44, Num 7, pp 60-69, issn 1523-2867, 10 p.Conference Paper

Pluggable abstract domains for analyzing embedded softwareCOOPRIDER, Nathan; REGEHR, John.ACM SIGPLAN notices. 2006, Vol 41, Num 7, pp 44-53, issn 1523-2867, 10 p.Conference Paper

The practical aspects of using a layered software approach for small-embedded systemsKOO, C. Y; STELLA, G; AU, R et al.NEC research & development. 1999, Vol 40, Num 3, pp 371-377, issn 0547-051XArticle

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applicationsCASPI, Paul; CURIC, Adrian; MAIGNAN, Aude et al.ACM SIGPLAN notices. 2003, Vol 38, Num 7, pp 153-162, issn 1523-2867, 10 p.Conference Paper

Joint throughput and energy optimization for pipelined execution of embedded streaming applicationsHUANG, Po-Kuan; HASHEMI, Matin; GHIASI, Soheil et al.ACM SIGPLAN notices. 2007, Vol 42, Num 7, pp 137-139, issn 1523-2867, 3 p.Conference Paper

Hardware Variability-Aware Duty Cycling for Embedded SensorsWANNER, Lucas; APTE, Charwak; BALANI, Rahul et al.IEEE transactions on very large scale integration (VLSI) systems. 2013, Vol 21, Num 6, pp 1000-1012, issn 1063-8210, 13 p.Article

An Automated Power Emulation Framework for Embedded Software—Detecting Power-Critical Code Regions and Optimizing Software-Induced Power Consumption Peaks : Selected Articles from the PATMOS 2010 WorkshopBACHMANN, Christian; GENSER, Andreas; STEGER, Christian et al.Journal of low power electronics (Print). 2011, Vol 7, Num 2, pp 255-264, issn 1546-1998, 10 p.Article