Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008666869/catalog> ?p ?o. }

• catalog abstract "This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada. Embedded systems have developed consid- ably in the past decade and we expect this technology to become even more important in computer science and engineering in the new millennium. Interest in the workshop has been con rmed by the submission of papers from all over the world. There were 43 submissions representing more than 14 countries. Each submitted paper was reviewed by at least three members of the program committee. The expert opinions of many outside reviewers were in- luable in making the selections and ensuring the high quality of the program, for which, we express our sincere gratitude. The nal program features one invited talk, twelve presentations, and ve poster presentations, which re?ect recent - vances in formal systems, compilers, tools, and hardware for embedded systems. We owe a great deal of thanks to the authors, reviewers, and the members of the program committee for making the workshop a success. Special thanks to Jim Larus, the General Chair of PLDI 2000 and Julie Goetz of ACM for all their help and support. Thanks should also be given to Sung-Soo Lim at Seoul National University for his help in coordinating the paper submission and review process. We also thank Professor Gaetano Borriello of the University of Washington for his invited talk on Chinook, a hardware-software co-synthesis CAD tool for embedded systems.".
• catalog contributor b12141318.
• catalog contributor b12141319.
• catalog contributor b12141320.
• catalog created "c2001.".
• catalog date "2001".
• catalog date "c2001.".
• catalog dateCopyrighted "c2001.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Randomization-based approaches for dynamic priority scheduling of aperiodic messages on a CAN network / Lucia Lo Bello and Orazio Mirabella -- Complex reactive control with simple synchronous models / Reinhard Budde and Axel Poigne -- Optimistic secure real-time concurrency control using multiple data version / Byeong-Soo Jeong, Daeho Kim, and Sungyoung Lee -- Array reference allocation using SSA-form and live range growth / Marcelo Cintra and Guido Araujo -- PROPAN: a retargetable system for postpass optimisations and analyses / Daniel Kastner -- A framework for enhancing code quality in limited register set embedded processors / Deepankar Bairagi, Santosh Pande, and Dharma P. Agrawal -- A stochastic framework for co-synthesis of real-time systems / S. Chakraverty and C.P. Ravikumar -- A fault tolerance extension to the embedded CORBA for the CAN bus systems / Gwangil Jeon . [and others] -- A real-time animator for hybrid systems / Tobias Amnell, Alexandre David, and Wang Yi -- Reordering memory bus transactions for reduced power consumption / Bruce R. Childers and Tarun Nakra -- A power efficient cache structure for embedded processors based on the dual cache structure / Gi-Ho Park . [et al.] -- Approximation of worst-case execution time for preemptive multitasking systems / Matteo Corti, Roberto Brega, and Thomas Gross -- A design and implementation of a remote debugging environment for embedded internet software / Kwangyong Lee . [et al.] -- Optimizing code size through procedural abstraction / Johan Runeson, Sven-Olof Nystrom, and Jan Sjodin -- Automatic validation of code-improving transformations / Robert van Engelen, David Whalley, and Xin Yuan -- Towards energy-aware iteration space tiling / M. Kandemir . [et al.] -- An integrated push/pull buffer management method in multimedia communication environments / Sungyoung Lee, Hyon Woo Seung, and Tae Woong Jeon.".
• catalog description "This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada. Embedded systems have developed consid- ably in the past decade and we expect this technology to become even more important in computer science and engineering in the new millennium. Interest in the workshop has been con rmed by the submission of papers from all over the world. There were 43 submissions representing more than 14 countries. Each submitted paper was reviewed by at least three members of the program committee. The expert opinions of many outside reviewers were in- luable in making the selections and ensuring the high quality of the program, for which, we express our sincere gratitude. The nal program features one invited talk, twelve presentations, and ve poster presentations, which re?ect recent - vances in formal systems, compilers, tools, and hardware for embedded systems. We owe a great deal of thanks to the authors, reviewers, and the members of the program committee for making the workshop a success. Special thanks to Jim Larus, the General Chair of PLDI 2000 and Julie Goetz of ACM for all their help and support. Thanks should also be given to Sung-Soo Lim at Seoul National University for his help in coordinating the paper submission and review process. We also thank Professor Gaetano Borriello of the University of Washington for his invited talk on Chinook, a hardware-software co-synthesis CAD tool for embedded systems.".
• catalog extent "viii, 220 p. :".
• catalog identifier "3540417818 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1985".
• catalog issued "2001".
• catalog issued "c2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1 21".
• catalog subject "Compilers (Computer programs) Congresses.".
• catalog subject "Computer science.".
• catalog subject "Embedded computer systems Programming Congresses.".
• catalog subject "Logic design.".
• catalog subject "Operating systems (Computers).".
• catalog subject "Programming languages (Electronic computers) Congresses.".
• catalog subject "QA76.6 .A13 2000".
• catalog subject "Software engineering.".
• catalog tableOfContents "Randomization-based approaches for dynamic priority scheduling of aperiodic messages on a CAN network / Lucia Lo Bello and Orazio Mirabella -- Complex reactive control with simple synchronous models / Reinhard Budde and Axel Poigne -- Optimistic secure real-time concurrency control using multiple data version / Byeong-Soo Jeong, Daeho Kim, and Sungyoung Lee -- Array reference allocation using SSA-form and live range growth / Marcelo Cintra and Guido Araujo -- PROPAN: a retargetable system for postpass optimisations and analyses / Daniel Kastner -- A framework for enhancing code quality in limited register set embedded processors / Deepankar Bairagi, Santosh Pande, and Dharma P. Agrawal -- A stochastic framework for co-synthesis of real-time systems / S. Chakraverty and C.P. Ravikumar -- A fault tolerance extension to the embedded CORBA for the CAN bus systems / Gwangil Jeon . [and others] -- A real-time animator for hybrid systems / Tobias Amnell, Alexandre David, and Wang Yi -- Reordering memory bus transactions for reduced power consumption / Bruce R. Childers and Tarun Nakra -- A power efficient cache structure for embedded processors based on the dual cache structure / Gi-Ho Park . [et al.] -- Approximation of worst-case execution time for preemptive multitasking systems / Matteo Corti, Roberto Brega, and Thomas Gross -- A design and implementation of a remote debugging environment for embedded internet software / Kwangyong Lee . [et al.] -- Optimizing code size through procedural abstraction / Johan Runeson, Sven-Olof Nystrom, and Jan Sjodin -- Automatic validation of code-improving transformations / Robert van Engelen, David Whalley, and Xin Yuan -- Towards energy-aware iteration space tiling / M. Kandemir . [et al.] -- An integrated push/pull buffer management method in multimedia communication environments / Sungyoung Lee, Hyon Woo Seung, and Tae Woong Jeon.".
• catalog title "Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min, eds.".
• catalog type "Conference proceedings. fast".
• catalog type "Vancouver (British Columbia, 2000) swd".
• catalog type "text".