Search results for "EMSOFT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
1	Andrea Bartolini, Martino Ruggiero, Luca Benini	HVS-DBS: human visual system-aware dynamic luminance backlight scaling for video streaming applications.	EMSOFT	2009	DBLP DOI BibTeX RDF	power management, video streaming, display, LCD, backlight scaling
1	Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee	On relational interfaces.	EMSOFT	2009	DBLP DOI BibTeX RDF	interfaces, composition, refinement, compositionality
1	Yangwook Kang, Ethan L. Miller	Adding aggressive error correction to a high-performance compressing flash file system.	EMSOFT	2009	DBLP DOI BibTeX RDF	reliability, compression, file system, nand flash memory, non-volatile memory
1	Moris Behnam, Thomas Nolte, Reinder J. Bril	Refining SIRAP with a dedicated resource ceiling for self-blocking.	EMSOFT	2009	DBLP DOI BibTeX RDF	SIRAP, real-time open systems, real-time subsystem integration, resource-sharing, hierarchical scheduling, synchronization protocol
1	Samarjit Chakraborty, Nicolas Halbwachs (eds.)	Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009	EMSOFT	2009	DBLP BibTeX RDF
1	Stephan Wilhelm, Björn Wachter	Symbolic state traversal for WCET analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models
1	Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis	Modeling synchronous systems in BIP.	EMSOFT	2009	DBLP DOI BibTeX RDF	BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre
1	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin	Clock-driven distributed real-time implementation of endochronous synchronous programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	clock calculus, distributed real-time scheduling, intermediate representation, synchronous model
1	Joseph Porter, Gabor Karsai, Janos Sztipanovits	Towards a time-triggered schedule calculation tool to support model-based embedded software design.	EMSOFT	2009	DBLP DOI BibTeX RDF	constraint programming, model-based design, time triggered architecture
1	Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal	Formal and executable contracts for transaction-level modeling in SystemC.	EMSOFT	2009	DBLP DOI BibTeX RDF	formal component models, systems-on-a-chip, virtual prototyping, transaction-level-modeling
1	Lothar Thiele, Nikolay Stoimenov	Modular performance analysis of cyclic dataflow graphs.	EMSOFT	2009	DBLP DOI BibTeX RDF	dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus
1	Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha	Handling mixed-criticality in SoC-based real-time embedded systems.	EMSOFT	2009	DBLP DOI BibTeX RDF	mixed-criticality, system-on-chip, runtime monitoring, platform-based design, AADL
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Compositional verification of fault-tolerant real-time programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	interference-freedom, fault-tolerance, real-time, formal methods, compositional verification
1	Marc Pouzet, Pascal Raymond	Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
1	Baolin Shao, Nalini Vasudevan, Stephen A. Edwards	Compositional deadlock detection for rendezvous communication.	EMSOFT	2009	DBLP DOI BibTeX RDF	SHIM, concurrency, static analysis, deadlock, divide-and-conquer
1	Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun	Exploring parallelization strategies for NUFFT data translation.	EMSOFT	2009	DBLP DOI BibTeX RDF	geometric tiling, non-uniform fft, parallelization, gridding, code generation
1	Nan Guan, Martin Stigge, Wang Yi 0001, Ge Yu 0001	Cache-aware scheduling and analysis for multicores.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, multicores, schedulability analysis, cache partitioning
1	Tang Lung Cheung, Kari Okamoto, Frank Maker III, Xin Liu 0002, Venkatesh Akella	Markov decision process (MDP) framework for optimizing software on mobile phones.	EMSOFT	2009	DBLP DOI BibTeX RDF	talk time extension, user-profile driven, mobile phones, markov-decision process, power optimization, android
1	Jan Staschulat, Marco Bekooij	Dataflow models for shared memory access latency analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	multiprocessor performance analysis, real-time, memory accesses, dataflow model
1	Junseok Park, Hyejeong Lee, Seunghwan Hyun, Kern Koh, Hyokyung Bahn	A cost-aware page replacement algorithm for NAND flash based mobile embedded systems.	EMSOFT	2009	DBLP DOI BibTeX RDF	compressed file system, flash memory, replacement algorithm
1	Patrice Godefroid, Michael Y. Levin, David A. Molnar	Active property checking.	EMSOFT	2008	DBLP DOI BibTeX RDF	security, software testing, symbolic execution
1	Dinesh Rajan, Christian Poellabauer, Xiaobo Sharon Hu, Liqiang Zhang 0002, Kathleen Otten	Wireless channel access reservation for embedded real-time systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	wireless real-time systems, task scheduling, packet scheduling, energy management, bandwidth reservation
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora	Disassembling real-time fault-tolerant programs.	EMSOFT	2008	DBLP DOI BibTeX RDF	bounded-time recovery, component-based analysis, fault-tolerance, real-time, formal methods, decomposition
1	Eric Eide, John Regehr	Volatiles are miscompiled, and what to do about it.	EMSOFT	2008	DBLP DOI BibTeX RDF	compiler defect, compiler testing, random program generation, random testing, automated testing, volatile
1	Martino Ruggiero, Andrea Bartolini, Luca Benini	DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application.	EMSOFT	2008	DBLP DOI BibTeX RDF	power management, video streaming, display, lcd, backlight scaling
1	Timothy Bourke, Arcot Sowmya	Automatically transforming and relating Uppaal models of embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	timed trace inclusion, model transformation, Uppaal
1	Bengt Jonsson 0001, Simon Perathoner, Lothar Thiele, Wang Yi 0001	Cyclic dependencies in modular performance analysis.	EMSOFT	2008	DBLP DOI BibTeX RDF	fixpoint iteration, performance analysis, real-time calculus
1	Bernhard Egger 0002, Jaejin Lee, Heonshik Shin	Scratchpad memory management in a multitasking environment.	EMSOFT	2008	DBLP DOI BibTeX RDF	compilers, virtual memory, paging, multitasking, scratchpad, code placement, postpass optimization, portable systems, heterogeneous memory
1	Mohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel	Workload-based configuration of MEMS-based storage devices for mobile systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	probe-based storage, mems, data layout
1	Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone	Tax-and-spend: democratic scheduling for real-time garbage collection.	EMSOFT	2008	DBLP DOI BibTeX RDF	jvm, java, real time, garbage collection
1	Yong-Goo Lee, Dawoon Jung 0001, Dongwon Kang, Jin-Soo Kim 0001	µ-FTL: : a memory-efficient flash translation layer supporting multiple mapping granularities.	EMSOFT	2008	DBLP DOI BibTeX RDF	NAND flash memory, address translation, flash translation layer (FTL)
1	Shinya Umeno	Event order abstraction for parametric real-time system verification.	EMSOFT	2008	DBLP DOI BibTeX RDF	automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification
1	Nadathur Satish, Kaushik Ravindran, Kurt Keutzer	Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors.	EMSOFT	2008	DBLP DOI BibTeX RDF	statistical scheduling, scheduling, simulated annealing, variability, list-scheduling
1	Rajeev Alur, Aditya Kanade, S. Ramesh 0002, K. C. Shashidhar	Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulations, coverage, hybrid systems, Simulink, Stateflow
1	Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya	A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications.	EMSOFT	2008	DBLP DOI BibTeX RDF	actor-oriented design, mpsoc scheduling, software synthesis
1	Olivier Morandi, Fulvio Risso, Silvio Valenti, Paolo Veglia	Design and implementation of a framework for creating portable and efficient packet-processing applications.	EMSOFT	2008	DBLP DOI BibTeX RDF	high-speed packet processing, network code portability, network virtual machine, network processors
1	Simon Tschirner, Liang Xuedong, Wang Yi 0001	Model-based validation of QoS properties of biomedical sensor networks.	EMSOFT	2008	DBLP DOI BibTeX RDF	modelling and verification, wireless sensor networks
1	Vinay Devadas, Hakan Aydin	On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applications.	EMSOFT	2008	DBLP DOI BibTeX RDF	real-time systems, dynamic voltage scaling, energy management, dynamic power management
1	Luca de Alfaro, Jens Palsberg (eds.)	Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008	EMSOFT	2008	DBLP BibTeX RDF
1	Mila E. Majster-Cederbaum, Moritz Martens	Compositional analysis of deadlock-freedom for tree-like component architectures.	EMSOFT	2008	DBLP DOI BibTeX RDF	architecture, design patterns, interaction systems, compositionality, component-based systems, deadlock-freedom
1	Kyoungmoon Sun, Seungjae Baek, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh, Sang Lyul Min	LTFTL: lightweight time-shift flash translation layer for flash memory based embedded storage.	EMSOFT	2008	DBLP DOI BibTeX RDF	fault tolerance, reliability, file system, flash memory, ftl (flash translation layer), time-shift
1	Jin Kyu Kim, Hyung Gyu Lee, Shinho Choi, Kyoung Il Bahng	A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystems.	EMSOFT	2008	DBLP DOI BibTeX RDF	pram, file system, flash translation layer (ftl), nand flash
1	Manoranjan Satpathy, Anand Yeolekar, S. Ramesh 0002	Randomized directed testing (REDIRECT) for Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulink/stateflow models, coverage, hybrid systems, model based testing
1	Rajeev Alur, Gera Weiss	RTComposer: a framework for real-time components with scheduling interfaces.	EMSOFT	2008	DBLP DOI BibTeX RDF	automata based scheduling, real time specification for java (RTSJ)
1	Jun Zhu 0011, Ingo Sander, Axel Jantsch	Energy efficient streaming applications with guaranteed throughput on MPSoCs.	EMSOFT	2008	DBLP DOI BibTeX RDF	synchronous moc, energy efficiency, mpsocs, streaming applications
1	Laurent Doyen 0001, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov	Interface theories with component reuse.	EMSOFT	2008	DBLP DOI BibTeX RDF	interfaces, composition, refinement
1	Shinpei Kato, Nobuyuki Yamasaki	Portioned EDF-based scheduling on multiprocessors.	EMSOFT	2008	DBLP DOI BibTeX RDF	real-time systems, multiprocessor systems, scheduling algorithm
1	Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee	State space abstraction for parameterized self-stabilizing embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
1	Henrik C. Bohnenkamp, Mariëlle Stoelinga	Quantitative testing.	EMSOFT	2008	DBLP DOI BibTeX RDF	conformance relations, robustness, test case generation, specification-based testing, test execution
1	Rathijit Sen, Y. N. Srikant	WCET estimation for executables in the presence of data caches.	EMSOFT	2007	DBLP DOI BibTeX RDF
1	Vijay D'Silva, Sampada Sonalkar, S. Ramesh	Existential abstractions for distributed reactive systems via syntactic transformations.	EMSOFT	2007	DBLP DOI BibTeX RDF
1	Ruibin Xu, Rami G. Melhem, Daniel Mossé	A unified practical approach to stochastic DVS scheduling.	EMSOFT	2007	DBLP DOI BibTeX RDF	stochastic DVS scheme, real-time, power management, dynamic voltage scaling, fully polynomial time approximation scheme
1	Dongwon Kang, Dawoon Jung 0001, Jeong-Uk Kang, Jin-Soo Kim 0001	mu-tree: an ordered index structure for NAND flash memory.	EMSOFT	2007	DBLP DOI BibTeX RDF	index structure, NAND flash, B+-tree
1	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel	Necessary and sufficient conditions for deterministic desynchronization.	EMSOFT	2007	DBLP DOI BibTeX RDF	endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network
1	Jiwon Hahn, Pai H. Chou	Buffer optimization and dispatching scheme for embedded systems with behavioral transparency.	EMSOFT	2007	DBLP DOI BibTeX RDF	behavioral transparency, model of computation, runtime system, memory optimization, component software, buffer allocation
1	Michael Roitzsch	Slice-balancing H.264 video encoding for improved scalability of multicore decoding.	EMSOFT	2007	DBLP DOI BibTeX RDF	scalability, multicore, H.264, slices, video encoding
1	Gernot Gebhard, Sebastian Altmeyer	Optimal task placement to improve cache performance.	EMSOFT	2007	DBLP DOI BibTeX RDF	task placement, predictability, cache analysis
1	Jongmin Lee, Sunghoon Kim, Hunki Kwon, Choulseung Hyun, Seongjun Ahn, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	Block recycling schemes and their cost-based optimization in nand flash memory based storage system.	EMSOFT	2007	DBLP DOI BibTeX RDF	FTL (flash-memory translation layer), flash memory based storage system, merge operation, migration operation
1	Christoph M. Kirsch, Reinhard Wilhelm (eds.)	Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria	EMSOFT	2007	DBLP BibTeX RDF
1	David C. Snowdon, Stefan M. Petters, Gernot Heiser	Accurate on-line prediction of processor and memoryenergy usage under voltage scaling.	EMSOFT	2007	DBLP DOI BibTeX RDF	PMC, power, energy, DVS, DVFS, performance counter
1	Simon Bliudze, Joseph Sifakis	The algebra of connectors: structuring interaction in BIP.	EMSOFT	2007	DBLP DOI BibTeX RDF
1	Jane W.-S. Liu	User-centered semiautomatic assistive devices.	EMSOFT	2007	DBLP DOI BibTeX RDF	human-centered computing, assistive devices
1	Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control.	EMSOFT	2007	DBLP DOI BibTeX RDF	building automation system, communication synthesis, networked embedded systems
1	Changhee Jung, Duk-Kyun Woo, Kanghee Kim, Sung-Soo Lim	Performance characterization of prelinking and preloadingfor embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	application launching, prelinking, embedded systems, preloading
1	Luís Almeida 0001, Sebastian Fischmeister, Madhukar Anand, Insup Lee 0001	A dynamic scheduling approach to designing flexible safety-critical systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	dynamic QoS management, real-time systems, embedded systems, utilization bounds, flexible scheduling
1	Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	Uniformity improving page allocation for flash memory file systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	performance evaluation, modeling, implementation, file system, flash memory, uniformity
1	Roumen Kaiabachev, Walid Taha, Angela Yun Zhu	E-FRP with priorities.	EMSOFT	2007	DBLP DOI BibTeX RDF	resource-aware programming, event-driven programming
1	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens	Virtual execution of AADL models via a translation into synchronous programs.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, formal verification, architecture description language, synchronous languages
1	Orlando Moreira, Frederico Valente, Marco Bekooij	Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor.	EMSOFT	2007	DBLP DOI BibTeX RDF	scheduling, real-time, dataflow, multi-processor
1	In Hwan Doh, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	Exploiting non-volatile RAM to enhance flash file system performance.	EMSOFT	2007	DBLP DOI BibTeX RDF	non-volatile RAM, metadata, file system, flash memory, experimental evaluation
1	Lothar Thiele	Performance analysis of distributed embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	distributed systems, embedded systems, performance analysis
1	Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed	Performance estimation of distributed real-time embedded systems by discrete event simulations.	EMSOFT	2007	DBLP DOI BibTeX RDF
1	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson 0001, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
1	Emiliano Dolif, Michele Lombardi 0001, Martino Ruggiero, Michela Milano, Luca Benini	Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip.	EMSOFT	2007	DBLP DOI BibTeX RDF	multimedia dataflow streaming, scheduling, allocation
1	Arne Hamann, Razvan Racu, Rolf Ernst	Methods for multi-dimensional robustness optimization in complex embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF
1	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	SIRAP, real-time open systems, real-time subsystem integration, resource sharing, hierarchical scheduling, synchronization protocol
1	Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour	Influence of different system abstractions on the performance analysis of distributed real-time systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	system abstraction, performance analysis, benchmarking
1	Patrick Cousot	Proving the absence of run-time errors in safety-critical avionics code.	EMSOFT	2007	DBLP DOI BibTeX RDF
1	David Monniaux	Verification of device drivers and intelligent controllers: a case study.	EMSOFT	2007	DBLP DOI BibTeX RDF	OHCI, direct memory access, verification, parallelism, asynchronous, device driver, linked lists, USB
1	Christoph M. Kirsch, Reinhard Wilhelm	Grand challenges in embedded software.	EMSOFT	2007	DBLP DOI BibTeX RDF	scheduling, performance, design, verification, analysis, embedded software, challenges
1	Edward A. Lee, Haiyang Zheng	Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events
1	Haifeng He, Saumya K. Debray, Gregory R. Andrews	The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading.	EMSOFT	2007	DBLP DOI BibTeX RDF	code clustering, embedded systems, code compaction, binary rewriting
1	Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis	Loosely time-triggered architectures based on communication-by-sampling.	EMSOFT	2007	DBLP DOI BibTeX RDF	MoCC, loosely time-triggered, distributed systems, real-time systems, time-triggered
1	Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié	Polychronous mode automata.	EMSOFT	2006	DBLP DOI BibTeX RDF
1	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time systems by automatic program transformations.	EMSOFT	2006	DBLP DOI BibTeX RDF	fault-tolerance, program transformations, checkpointing, heartbeating
1	César Sánchez 0001, Henny B. Sipma, Zohar Manna, Christopher D. Gill	Efficient distributed deadlock avoidance with liveness guarantees.	EMSOFT	2006	DBLP DOI BibTeX RDF	scheduling, distributed algorithms, deadlock avoidance
1	Rahul Nagpal, Y. N. Srikant	Compiler-assisted leakage energy optimization for clustered VLIW architectures.	EMSOFT	2006	DBLP DOI BibTeX RDF	scheduling, leakage energy, energy-aware scheduling, clustered VLIW processors
1	Young-Jin Kim 0002, Kwon-Taek Kwon, Jihong Kim 0001	Energy-efficient file placement techniques for heterogeneous mobile storage systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	file placement, heterogeneous mobile storage systems, separating I/O operations, energy conservation
1	Okehee Goh, Yann-Hang Lee, Ziad Kaakani	Schedulable persistence system for teal-time applications in virtual machine.	EMSOFT	2006	DBLP DOI BibTeX RDF	CLI, checkpoint/recovery, schedulable persistence system, virtual machine, real-time applications
1	Ethan K. Jackson, Janos Sztipanovits	Towards a formal foundation for domain specific modeling languages.	EMSOFT	2006	DBLP DOI BibTeX RDF	embedded systems, semantics, metamodeling, formal logic, horn logic
1	Arindam Chakrabarti, Patrice Godefroid	Software partitioning for effective automated unit testing.	EMSOFT	2006	DBLP DOI BibTeX RDF	software testing and model checking, interfaces, program verification, compositional analysis
1	Ye Wen, Richard Wolski, Selim Gurun	S2DB: a novel simulation-based debugger for sensor network applications.	EMSOFT	2006	DBLP DOI BibTeX RDF	ebugging, simulation, sensor network
1	Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil D. Dutt, Qiang Zhu 0008	Formal performance evaluation of AMBA-based system-on-chip designs.	EMSOFT	2006	DBLP DOI BibTeX RDF	performance evaluation, model checking, system-on-chip
1	Bernhard Egger 0002, Jaejin Lee, Heonshik Shin	Scratchpad memory management for portable systems with a memory management unit.	EMSOFT	2006	DBLP DOI BibTeX RDF	compilers, virtual memory, paging, scratchpad, code placement, postpass optimization, portable systems, heterogeneous memory
1	Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang	Analysis of the zeroconf protocol using UPPAAL.	EMSOFT	2006	DBLP DOI BibTeX RDF	zeroconf protocol, modelling, model checking, verification, formal methods, validation, timed automata
1	Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard	Time-triggered implementations of dynamic controllers.	EMSOFT	2006	DBLP DOI BibTeX RDF	PI, performance, control, implementation, time-triggered, PID, dynamic controller
1	Christos Sofronis, Stavros Tripakis, Paul Caspi	A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.	EMSOFT	2006	DBLP DOI BibTeX RDF	process communication, optimality, embedded software, model-based design, preemptive scheduling, synchronous programming, semantical preservation
1	Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov	Real-time interfaces for composing real-time systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	interface-based design, real-time interfaces, performance analysis, adaptive interfaces
1	Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava	Multi-level software reconfiguration for sensor networks.	EMSOFT	2006	DBLP DOI BibTeX RDF	sensor networks, virtual machine, reconfiguration, multi-tasking, reprogramming

Publications at "EMSOFT"( http://dblp.L3S.de/Venues/EMSOFT )