default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLCTES 2000: Vancouver, BC, Canada
- Jack W. Davidson, Sang Lyul Min:
Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES 2000, Vancouver, BC, Canada, June 18, 2000, Proceedings. Lecture Notes in Computer Science 1985, Springer 2001, ISBN 3-540-41781-8
Formal Methods and Databases
- Lucia Lo Bello
, Orazio Mirabella:
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network. 1-18 - Reinhard Budde, Axel Poigné:
Complex Reactive Control with Simple Synchronous Models. 19-32 - Byeong-Soo Jeong, Daeho Kim, Sungyoung Lee:
Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version. 33-47
Compiler
- Marcelo Silva Cintra, Guido Araujo:
Array Reference Allocation Using SSA-Form and Live Range Growth. 48-62 - Daniel Kästner:
PROPAN: A Retargetable System for Postpass Optimisations and Analyses. 63-80 - Deepankar Bairagi, Santosh Pande, Dharma P. Agrawal:
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors. 81-95
Tools
- Shampa Chakraverty, C. P. Ravikumar:
A Stochastic Framework for Co-synthesis of Real-Time Systems. 96-113 - Gwangil Jeon, Tae-Hyung Kim, Seongsoo Hong, Sunil Kim:
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems. 114-133 - Tobias Amnell, Alexandre David, Wang Yi:
A Real-Time Animator for Hybrid Systems. 134-145
Hardware
- Bruce R. Childers, Tarun Nakra:
Reordering Memory Bus Transactions for Reduced Power Consumption. 146-161 - Gi-Ho Park, Kil-Whan Lee, Jae-Hyuk Lee, Tack-Don Han, Shin-Dug Kim:
A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure. 162-177 - Matteo Corti, Roberto Brega, Thomas R. Gross:
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems. 178-198
Work in Progress
- Kwangyong Lee, Chaedeok Lim, Kisok Kong, Heung-Nam Kim:
A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software. 199-203 - Johan Runeson, Sven-Olof Nyström, Jan Sjödin:
Optimizing Code Size through Procedural Abstraction. 204-205 - Robert van Engelen, David B. Whalley, Xin Yuan:
Automatic Validation of Code-Improving Transformations. 206-210 - Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Hyun Suk Kim:
Towards Energy-Aware Iteration Space Tiling. 211-215 - Sungyoung Lee, Hyonwoo Seung, Taewoong Jeon:
An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments. 216-220
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-19 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
