This volume contains the 37 papers presented at the 9th International Con- rence on Real-Time and Embedded Computing Systems and Applications (RT- CSA 2003). RTCSA is an international conference organized for scientists and researchers from both academia and industry to hold intensive discussions on advancing technologies topics on real-time systems, embedded systems, ubiq- tous/pervasive computing, and related topics. RTCSA 2003 was held at the Department of Electrical Engineering of National Cheng Kung University in Taiwan. Paper submissions were well distributed over the various aspects of real-time computing and embedded system technologies. There were more than 100 participants from all over the world. The papers, including 28 regular papers and 9 short papers are grouped into thecategoriesofscheduling, networkingandcommunication, embeddedsystems, pervasive/ubiquitous computing, systems and architectures, resource mana- ment, ?le systems and databases, performance analysis, and tools and de- lopment. The grouping is basically in accordance with the conference program. Earlier versions of these papers were published in the conference proceedings. However, some papers in this volume have been modi?ed or improved by the authors, in various aspects, based on comments and feedback received at the conference. It is our sincere hope that researchers and developers will bene?t from these papers. We would like to thank all the authors of the papers for their contribution. We thank the members of the program committee and the reviewers for their excellent work in evaluating the submissions. We are also very grateful to all the members of the organizing committees for their help, guidance and support.The tool KRONOS. ... FormalCheck Usera#39;s Manual, Cadence Design, Inc., 1998. ... (ASICs), 2000, ISBN: 0-13-794348-2, Prentice-Hall. http://www.verificationlib. com/ S. Palnitkar Verilog HDL: A Guide to Digital Design and Synthesis ISBN 0- 13-anbsp;...
|Title||:||Real-Time and Embedded Computing Systems and Applications|
|Author||:||Jing Chen, Seongsoo Hong|
|Publisher||:||Springer - 2004-04-08|