|
|
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 | Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet |
Mixing signals and modes in synchronous data-flow systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
mode automata, compilation, synchronous, languages |
1 | Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan |
A hierarchical coordination language for interacting real-time tasks. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
real time, automotive systems |
1 | Kentaro Yoshimura, Dharmalingam Ganesan, Dirk Muthig |
Defining a strategy to introduce a software product line using existing embedded systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
clone detection and classification, engine control systems, reverse rngineering, software, software product line, economics |
1 | Thao Dang 0001, Philippe Gerner |
Scheduling for multi-threaded real-time programs via path planning. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
PV programs, multi-threaded real-time programs, scheduling, path planning |
1 | Jeong-Uk Kang, Heeseung Jo, Jinsoo Kim 0001, Joonwon Lee |
A superblock-based flash translation layer for NAND flash memory. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
NAND flash memory, address translation, flash translation layer (FTL) |
1 | Venkita Subramonian, Christopher D. Gill, César Sánchez 0001, Henny B. Sipma |
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
middleware, timed automata |
1 | Kevin M. Greenan, Ethan L. Miller |
Reliability mechanisms for file systems using non-volatile memory as a metadata store. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
file system reliability, online consistency checking, metadata, error correcting codes, non-volatile memory |
1 | Madhukar Anand, Sebastian Fischmeister, Insup Lee 0001 |
An analysis framework for network-code programs. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
scheduling, network code, TDMA, real-time networking |
1 | Ye Zhou, Edward A. Lee |
A causality interface for deadlock analysis in dataflow. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
behavioral types, interfaces, deadlock, causality, dataflow, actors |
1 | Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee 0001 |
Incremental schedulability analysis of hierarchical real-time components. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
associative real-time interfaces, compositional schedulability analysis, incremental schedulability analysis, hierarchical scheduling |
1 | Werner Damm |
Embedded system development for automotive applications: trends and challenges. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Thesing |
Modeling a system controller for timing analysis. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
aiT, verification, static analysis, VHDL, timing analysis, WCET, worst-case execution time, avionics, peripherals |
1 | Sang Lyul Min, Wang Yi 0001 (eds.) |
Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea |
EMSOFT |
2006 |
DBLP BibTeX RDF |
|
1 | Timothy Bourke, Arcot Sowmya |
A timing model for synchronous language implementations in simulink. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
timed automata, synchronous languages, simulink |
1 | Richard Urunuela, Gilles Muller, Julia L. Lawall |
Energy adaptation for multimedia information kiosks. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
embedded systems, dynamic voltage scaling, multimedia application |
1 | Olivier Tardieu, Stephen A. Edwards |
Scheduling-independent threads and exceptions in SHIM. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
deterministic model of computation, hardware/software codesign |
1 | Harsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan |
New approach to architectural synthesis: incorporating QoS constraint. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
soft real time constraints, quality of service, partitioning, mapping, process network |
1 | Stylianos Mamagkakis, David Atienza, Christophe Poucet, Francky Catthoor, Dimitrios Soudris |
Energy-efficient dynamic memory allocators at the middleware level of embedded systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
heap data, low-energy consumption, embedded systems, middleware, dynamic memory allocation |
1 | Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon |
Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
J2ME CDC, Java ahead-of-time compiler, bytecode-to-c, stack cutting, exception handling, Java virtual machine |
1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
Communication by sampling in time-sensitive distributed systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, scheduling, tagged systems |
1 | Cong Liu 0013, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
A structural approach to quasi-static schedulability analysis of communicating concurrent programs. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
quasi-static scheduling, Petri nets, structural analysis |
1 | Wayne H. Wolf (eds.) |
EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings |
EMSOFT |
2005 |
DBLP BibTeX RDF |
|
1 | Qiuhua Cao, John A. Stankovic |
Dual face phased array radar scheduling with multiple constraints. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
dual phased array radars systems, scheduling, performance, real time systems, resource allocations, heuristic algorithms |
1 | Gabor Madl, Sherif Abdelwahed |
Model-based analysis of distributed real-time embedded system composition. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Wandeler, Lothar Thiele |
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
real-time interfaces, performance analysis, hierarchical scheduling, real-time calculus |
1 | Jun Yan 0008, Wei Zhang 0002 |
Compiler-guided register reliability improvement against soft errors. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
register lifetime, reliability, soft errors, register file |
1 | John Regehr |
Random testing of interrupt-driven software. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
interrupt-driven software, sensor networks, embedded systems, random testing |
1 | Jean-Louis Colaço, Bruno Pagano, Marc Pouzet |
A conservative extension of synchronous data-flow with state machines. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
clock calculus, compilation, typing, heterogeneous systems, synchronous languages |
1 | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli |
Efficient embedded software design with synchronous models. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
model-based, synchrony |
1 | Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi |
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
process communication, scheduling, embedded software, model-based design, semantical preservation |
1 | Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger |
Model-based run-time monitoring of end-to-end deadlines. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
RT CORBA, quality of service, components, code generation, services, runtime monitoring, service engineering |
1 | Marco Zennaro, Raja Sengupta |
Distributing synchronous programs using bounded queues. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
distributed synchronous programs, globally asynchronous locally synchronous architecture, GALS, Simulink |
1 | Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee |
A sink-n-hoist framework for leakage power reduction. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
balanced scheduling, compilers for low power, power-gating mechanisms, data-flow analysis, leakage power reduction |
1 | Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy |
Exploiting last idle periods of links for network power management. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
compiler, interconnection network, energy optimization |
1 | Selim Gurun, Chandra Krintz |
AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
prediction, power consumption, voltage scaling, resource-constrained devices |
1 | Guilin Chen, Mahmut T. Kandemir |
Optimizing inter-processor data locality on embedded chip multiprocessors. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
chip multiprocessors, data locality, stencil computation |
1 | Prabhat Avasare, Vincent Nollet, Jean-Yves Mignolet, Diederik Verkest, Henk Corporaal |
Centralized end-to-end flow control in a best-effort network-on-chip. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
run-time communication management, network-on-chip |
1 | Bui Minh Duc |
Uniform object modeling methodology and reuse of real-time system using UML. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
UML design, induced energy, object message, reactive systems, modeling methodology, embedded real-time systems, object technology |
1 | Stephen Hines, Prasad A. Kulkarni, David B. Whalley, Jack W. Davidson |
Using de-optimization to re-optimize code. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
assembly translation, de-optimization, phase ordering |
1 | Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou |
Testing real-time embedded software using UPPAAL-TRON: an industrial case study. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, black-box testing, online testing, control software |
1 | Grégoire Hamon |
A denotational semantics for stateflow. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
compilation, continuations, denotational semantics, Stateflow |
1 | Graham R. Hellestrand |
Systems architecture: the empirical way: abstract architectures to 'optimal' systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
concept driven optimization, empirical system design, epimorphic architecture, event data driven optimization, event-based objective function, factor and concept based explanatory function, mapping system architectures, mesomorphic architecture, quantitative systems architecture, system design process |
1 | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
QoS control for optimality and safety. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
optimality, multimedia, real-time, control, safety, fine grain |
1 | Ethan K. Jackson, Janos Sztipanovits |
Using separation of concerns for embedded systems design. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
multiple-aspect modeling, embedded systems, separation of concerns, models of computation |
1 | Stephen A. Edwards, Olivier Tardieu |
SHIM: a deterministic model for heterogeneous embedded systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
deterministic model of computation, hardware/software codesign, software synthesis, hardware synthesis |
1 | Johannes Helander |
Deeply embedded XML communication: towards an interoperable and seamless world. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
XML, service oriented architecture, embedded systems, SOAP, home networking, invisible computing |
1 | Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz |
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
dynamic, SystemC, parser, static, front-end, elaboration |
1 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
Synchronization of periodic clocks. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction |
1 | Vugranam C. Sreedhar, Maria-Cristina V. Marinescu |
From statecharts to ESP: programming with events, states and predicates for embedded systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
multiple classification, statechart, predicate dispatch |
1 | Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau |
High performance annotation-aware JVM for Java cards. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
superoperators, virtual machine, high performance, Java card |
1 | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
Code aware resource management. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, deadlock avoidance, code analysis |
1 | David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev |
High-level real-time programming in Java. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, visualization, WCET, tasks, allocation |
1 | Ruibin Xu, Daniel Mossé, Rami G. Melhem |
Minimizing expected energy in real-time embedded systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
processor acceleration to conserve energy, real-time, power management, dynamic voltage scaling |
1 | Alex Xiang Feng |
Towards real-time enabled Microsoft Windows. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, operating systems, Microsoft Windows |
1 | Kai Chen 0010, Janos Sztipanovits, Sandeep Neema |
Toward a semantic anchoring infrastructure for domain-specific modeling languages. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
semantic anchoring, abstract syntax, model-integrated computing, domain-specific modeling language |
1 | Aimen Bouchhima, Xi Chen, Frédéric Pétrot, Wander O. Cesário, Ahmed Amine Jerraya |
A unified HW/SW interface model to remove discontinuities between HW and SW design. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
hardware dependent software, embedded systems, hardware/software interfaces |
1 | Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam |
HAIL: a language for easy and correct device access. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers |
1 | Xiushan Feng, Alan J. Hu |
Cutpoints for formal equivalence verification of embedded software. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
formal verification, embedded software, equivalence checking |
1 | Jie Liu 0001, Elaine Cheong, Feng Zhao 0001 |
Semantics-based optimization across uncoordinated tasks in networked embedded systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
service-oriented runtime, sensor network, type system |
1 | Neal K. Bambha, Shuvra S. Bhattacharyya |
Communication strategies for shared-bus embedded multiprocessors. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, dataflow, interprocessor communication |
1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
A UML 2.0 profile for SystemC: toward high-level SoC design. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
model-driven system on chip design, UML, embedded systems, SystemC, UML profiles |
1 | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
sensor networks, design automation, design flow |
1 | Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud |
From multi-clocked synchronous processes to latency-insensitive modules. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
compositional mapping, separate compilation |
1 | Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger |
Power consumption profile analysis for security attack simulation in smart cards at high abstraction level. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
simulation, analysis, smart card, fault injection, attack, SystemC, embedded security, power profile |
1 | Jian-Jia Chen, Tei-Wei Kuo, Chi-Sheng Shih 0001 |
(1+epsion) approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
DVS scheduling, energy consumption minimization, real-time systems, energy-efficient scheduling |
1 | Lee Pike, Steven D. Johnson |
The formal verification of a reintegration protocol. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems |
1 | Simon Oberthür, Carsten Böke, Björn Griese |
Dynamic online reconfiguration for customizable and self-optimizing operating systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
real-time operating system, self-optimizing |
1 | Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan |
Passive mid-stream monitoring of real-time properties. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
monitoring, timed automata, passive testing, run-time verification |
1 | Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hiroaki Takada |
A GA-based scheduling method for FlexRay systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
genetic algorithm, distributed embedded systems, FlexRay |
1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Tag machines. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS, tagged systems |
1 | Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
fault tree construction, feedback control applications, system analysis, design exploration |
1 | Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee 0001 |
Distributed-code generation from hybrid systems models for time-delayed multirate systems. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, hybrid systems |
1 | Bernd Hardung, Thorsten Kölzow, Andreas Krüger |
Reuse of software in distributed embedded automotive systems. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
architecture, reuse, software, product line, automotive |
1 | Guang Yang 0004, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin |
Separation of concerns: overhead in modeling and efficient simulation techniques. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
interleaving concurrency, orthogonalization of conerns, simulation, platform-based design |
1 | Giorgio C. Buttazzo (eds.) |
EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings |
EMSOFT |
2004 |
DBLP BibTeX RDF |
|
1 | Jan Romberg, Andreas Bauer 0002 |
Loose synchronization of event-triggered networks for distribution of synchronous programs. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
scheduling, embedded software, synchronous languages, AutoFocus, code distribution |
1 | Michael McDougall, Rajeev Alur, Carl A. Gunter |
A model-based approach to integrating security policies for embedded devices. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
policy integration, smartcards, model based design, Java cards |
1 | De-Jiu Chen, Martin Törngren |
A metrics system for quantifying operational coupling in embedded computer control systems. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
coupling measure, modularization and components, system functions |
1 | A. Richard Newton |
Great works for the 21st century: a critical role for the modern research university. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John A. Stankovic, Prashant Nagaraddi, Zhendong Yu, Zhimin He, Brian Ellis |
Exploiting prescriptive aspects: a design time capability. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
prescriptive aspects, aspects, component-based design |
1 | Sangsoo Park, Yonghee Lee, Heonshik Shin |
An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
multimedia, embedded system, operating system, memory performance |
1 | Hideyuki Tokuda |
Smart furniture: a platform for context-aware embedded ubiquitous applications. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ruibin Xu, Chenhai Xi, Rami G. Melhem, Daniel Mossé |
Practical PACE for embedded systems. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
processor acceleration to conserve energy, real-time, power management, dynamic voltage scaling, fully polynomial time approximation scheme |
1 | Sapan Bhatia, Charles Consel, Calton Pu |
Remote customization of systems code for embedded devices. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
remote customization, remote specialization, specialization server |
1 | Cheng-Han Tsai, Edward T.-H. Chu, Tai-Yi Huang |
WRR-SCAN: a rate-based real-time disk-scheduling algorithm. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
real-time disk-scheduling, real-time multimedia servers, weighted round-robin |
1 | Matteo Corti 0002, Thomas R. Gross |
Approximation of the worst-case execution time using structural analysis. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
worst-case execution time (WCET), structural analysis, real-time computing |
1 | Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne |
Towards direct execution of esterel programs on reactive processors. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures |
1 | Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi |
Defining and translating a "safe" subset of simulink/stateflow into lustre. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
embedded software, simulink, lustre, automatic translation |
1 | Claudio Scordino, Giuseppe Lipari |
Using resource reservation techniques for power-aware scheduling. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
scheduling, real-time, DVS, resource-reservation, power-aware |
1 | Luís Almeida 0001, Paulo Pedreiras |
Scheduling within temporal partitions: response-time analysis and server design. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, real-time scheduling, hierarchical scheduling, response-time analysis |
1 | Jan Carlson, Björn Lisper |
An event detection algebra for reactive systems. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
event algebra, reactive systems, event detection, resource-efficiency |
1 | Gopalakrishna Raghavan, Ari Salomäki, Raimondas Lencevicius |
Model based estimation and verification of mobile device performance. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
use case verification, performance analysis, system level modeling |
1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS |
1 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Conservative approximations for heterogeneous design. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation |
1 | Nevin Heintze |
Network processors: a progress report. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Citron, Gadi Haber, Roy Levin |
Reducing program image size by extracting frozen code and data. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
feedback directed, frozen code, frozen data, image size |
1 | Noureddine Chabini, Wayne H. Wolf |
An approach for integrating basic retiming and software pipelining. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
embedded systems, system-on-chip, timings, instruction-level parallelism, software pipelining, VLIW, retiming, superscalar processor, peak power, code size |
1 | David F. Bacon, Perry Cheng, David Grove |
Garbage collection for embedded systems. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
mark-and-sweep, tracing, fragmentation, compaction |
1 | Marc Geilen, Twan Basten |
Reactive process networks. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing |
1 | Alan C. Kay |
"The computer revolution", "computer science", and "software engineering" haven't happened yet. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 599 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|