Conferences in DBLP
A. Richard Newton Great works for the 21st century: a critical role for the modern research university. [Citation Graph (0, 0)][DBLP ] Conf ] Hideyuki Tokuda Smart furniture: a platform for context-aware embedded ubiquitous applications. [Citation Graph (0, 0)][DBLP ] Conf ] Krithi Ramamritham , Rajkumar Sen DELite: database support for embedded lightweight devices. [Citation Graph (0, 0)][DBLP ] Conf ] Nevin Heintze Network processors: a progress report. [Citation Graph (0, 0)][DBLP ] Conf ] Alan C. Kay "The computer revolution", "computer science", and "software engineering" haven't happened yet. [Citation Graph (0, 0)][DBLP ] Conf ] Sapan Bhatia , Charles Consel , Calton Pu Remote customization of systems code for embedded devices. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Scordino , Giuseppe Lipari Using resource reservation techniques for power-aware scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Sangsoo Park , Yonghee Lee , Heonshik Shin An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing. [Citation Graph (0, 0)][DBLP ] Conf ] Gopalakrishna Raghavan , Ari Salomaki , Raimondas Lencevicius Model based estimation and verification of mobile device performance. [Citation Graph (0, 0)][DBLP ] Conf ] Guang Yang , Alberto L. Sangiovanni-Vincentelli , Yosinori Watanabe , Felice Balarin Separation of concerns: overhead in modeling and efficient simulation techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Ruibin Xu , Chenhai Xi , Rami G. Melhem , Daniel Mossé Practical PACE for embedded systems. [Citation Graph (0, 0)][DBLP ] Conf ] Haisang Wu , Binoy Ravindran , E. Douglas Jensen , Peng Li Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kun Zhang , Tao Zhang , Santosh Pande Binary translation to improve energy efficiency through post-pass register re-allocation. [Citation Graph (0, 0)][DBLP ] Conf ] Cheng-Han Tsai , Edward T.-H. Chu , Tai-Yi Huang WRR-SCAN: a rate-based real-time disk-scheduling algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Almeida , Paulo Pedreiras Scheduling within temporal partitions: response-time analysis and server design. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Christoph M. Kirsch A typed assembly language for real-time programs. [Citation Graph (0, 0)][DBLP ] Conf ] Chanik Park , Junghee Lim , Kiwon Kwon , Jaejin Lee , Sang Lyul Min Compiler-assisted demand paging for embedded systems with flash memory. [Citation Graph (0, 0)][DBLP ] Conf ] David F. Bacon , Perry Cheng , David Grove Garbage collection for embedded systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Geilen , Twan Basten Reactive process networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Carlson , Björn Lisper An event detection algebra for reactive systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Passerone , Jerry R. Burch , Alberto L. Sangiovanni-Vincentelli Conservative approximations for heterogeneous design. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Stankovic , Prashant Nagaraddi , Zhendong Yu , Zhimin He , Brian Ellis Exploiting prescriptive aspects: a design time capability. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Burmester , Matthias Gehrke , Holger Giese , Simon Oberthür Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. [Citation Graph (0, 0)][DBLP ] Conf ] De-Jiu Chen , Martin Törngren A metrics system for quantifying operational coupling in embedded computer control systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Romberg , Andreas Bauer 0002 Loose synchronization of event-triggered networks for distribution of synchronous programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Hardung , Thorsten Kölzow , Andreas Krüger Reuse of software in distributed embedded automotive systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael McDougall , Rajeev Alur , Carl A. Gunter A model-based approach to integrating security policies for embedded devices. [Citation Graph (0, 0)][DBLP ] Conf ] 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). [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Colaço , Alain Girault , Grégoire Hamon , Marc Pouzet Towards a higher-order synchronous data-flow language. [Citation Graph (0, 0)][DBLP ] Conf ] Partha S. Roop , Zoran A. Salcic , M. W. Sajeewa Dayaratne Towards direct execution of esterel programs on reactive processors. [Citation Graph (0, 0)][DBLP ] Conf ] Oleg Kiselyov , Kedar N. Swadi , Walid Taha A methodology for generating verified combinatorial circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Norman Scaife , Christos Sofronis , Paul Caspi , Stavros Tripakis , Florence Maraninchi Defining and translating a "safe" subset of simulink/stateflow into lustre. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Corti , Thomas R. Gross Approximation of the worst-case execution time using structural analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Staschulat , Rolf Ernst Multiple process execution in cache related preemption delay analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Noureddine Chabini , Wayne Wolf An approach for integrating basic retiming and software pipelining. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Citron , Gadi Haber , Roy Levin Reducing program image size by extracting frozen code and data. [Citation Graph (0, 0)][DBLP ] Conf ] 