SESSION 39P: HARDWARE-SOFTWARE CODESIGN OF PARALLEL AND DISTRIBUTED SYSTEMS CHAIR: Pao-Ann (Eric) Hsiung Institute of Information Science, Academia Sinica, Taipei, Taiwan, R.O.C. JULY 1, 10:50 - 3:10pm (Location: Meeting Room 1) 10:50 - 11:10am: Incremental Cospecification Using Objects and Joint Actions Risto Pitkanen and Harri Klapuri Tampere University of Technology, Finland 11:10 - 11:30am: Codesign Requires Closed-System Specifications Tommi Mikkonen Tampere University of Technology, Finland 11:30 - 11:50am: Functional Specification of Distributed Digital Image Processing Systems by Process Interface Descriptions Wolfgang Bossung, Sorin Alexander Huss, Stephan Klaus, and Lars Wehmeyer Darmstadt University of Technology, Germany 11:50 - 12:10pm: A Case Study in Hardware-Software Codesign of Distributed Systems Vehicle Parking Management System Trong-Yen Lee*, Pao-Ann Hsiung**, and Sao-Jie Chen* *National Taiwan University, **Academia Sinica, Taiwan, R.O.C. 12:10 - 12:30pm: Toward a Unified Model of Computation for Specification and Design Methodology Frameworks for Parallel and Distributed Real-Time Embedded Multiprocessor Signal Processing Systems Randall Janka Georgia Institute of Technology, Atlanta, Georgia, USA 12:30 - 1:30pm: LUNCH (On Your Own) 1:30 - 1:50pm: Hardware-Software Coverification of Distributed Embedded Systems Jih-Ming Fu and Sao-Jie Chen National Taiwan University, Taiwan, R.O.C. 1:50 - 2:10pm: Hardware-Software Partition with Microcontrollers and CPLDs: A Case Study Walter Soto Encinas Junior and Edson do Santos Moreira Instituto de Computacao de Sao Carlos, USP, Brazil 2:10 - 2:30pm: Design Process and Tools for the HW/SW-Codesign and Rapid-Prototyping of Parallel and Heterogenous Real-Time Communication Systems Frank Slomka, Mathias Dorfel, Simone Spitz, and Richard Hofmann University of Erlangen-Nuremberg, Germany 2:30 - 2:50pm: Combining Different Models of Computation for Cosimulation of Hetergeneous Systems Christian Kreiner, Christian Steger*, and Reinhold Weiss Graz University of Technology, Graz, Austria 2:50 - 3:10pm: Galois lattice Approach to Hardware/Software Partitioning Romain Kamdem* and Patrick Njiwoua** *CNRS-IBSM-IFR1, France **Universite d'Artois, France
One more paper has been placed in another session due to program scheduling.
SESSION 24P: TOOLS, LANGUAGES, AND PROGRAMMING ENVIRONMENTS CHAIRS: TO BE ANNOUNCED LATER June 30, 1:30 - 5:10pm (Location: Meeting Room 2) 3:30 - 3:50pm: Multithreading-Based Coverification Technique of HW/SW Systems Mostafa Azizi*, El Mostapha Aboulhamid*, and Sofiene Tahar** *University of Montreal, Montreal, Canada **Concordia University, Quebec, Canada