|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 693 occurrences of 422 keywords
|
|
|
Results
Found 599 publication records. Showing 599 according to the selection in the facets
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 |
Displaying result #301 - #400 of 599 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|