Index of /~cad/publications/SpecC/2002

Name	Last modified	Size

Parent Directory		-
TR-02-04.ASM.pdf	2003-03-11 04:14	139K
TR-02-06.parity.pdf	2003-03-11 04:13	206K
TR-02-07.profiler.pdf	2003-03-11 04:13	280K
TR-02-08.profiler.pdf	2003-03-11 04:12	472K
TR-02-11.sched.pdf	2002-04-12 17:27	112K
TR-02-12.queue.pdf	2002-04-12 17:50	109K
TR-02-13.interface.pdf	2002-04-12 17:51	234K
TR-02-14.refinement.pdf	2003-03-11 04:11	62K
TR-02-15.flow.pdf	2003-03-11 04:11	170K
TR-02-16.modeling.pdf	2003-03-11 04:17	292K
TR-02-16.modeling.ps.gz	2003-03-11 04:17	322K
TR-02-17.semantics.pdf	2003-03-11 04:17	109K
TR-02-17.semantics.p..>	2003-03-11 04:17	145K
TR-02-18.paralleliza..>	2003-03-11 04:10	74K
TR-02-20.tuning.pdf	2003-03-11 04:09	333K
TR-02-25.RTOS.pdf	2003-03-11 04:09	139K
TR-02-28.tutorial.pdf	2003-03-11 04:06	3.4M
TR-02-30.VCC.pdf	2003-03-11 04:06	198K
TR-02-31.architectur..>	2003-03-11 04:05	83K
TR-02-32.variable.pdf	2003-03-11 04:05	250K
TR-02-33.needs.pdf	2003-03-11 04:04	375K
edp02.methodology.pdf	2003-03-11 09:49	106K
esc02.309.pdf	2002-03-19 10:57	283K
esc02.349.pdf	2002-03-19 10:57	242K
iecon02.emul.pdf	2003-03-24 11:18	234K
isic02.control.pdf	2003-03-24 11:09	209K
isss02.SpecC.pdf	2002-12-03 13:32	125K
isss02.SpecC.ps.gz	2002-12-03 13:32	148K
isss02.msg.pdf	2002-12-03 13:34	91K
isss02.semantics.pdf	2002-12-03 13:32	105K
isss02.semantics.ps.gz	2002-12-03 13:32	186K
smc02.control.pdf	2003-03-11 08:31	213K
smc02.ctrlalg.pdf	2003-03-11 08:31	247K

UCI Cadlab

SpecC Publications

This directory contains UCI Cadlab publications related to the SpecC system-level design environment for the year 2002.

Slim Ben Saoud, Daniel D. Gajski, Rainer Dömer, "Specification and Validation of New Control Algorithms for Electric Drives Using SpecC Language," Proceedings International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia, October 2002.
Slim Ben Saoud, Daniel D. Gajski, Andreas Gerstlauer, "Seamless approach for the design of control systems for Power Electronics and Electric Drives," Proceedings International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia, October 2002.
Andreas Gerstlauer and Daniel D. Gajski, "System-Level Abstraction Semantics," Proceedings of International Symposium on System Synthesis, Kyoto, Japan, October 2002.
Junyu Peng and Daniel D. Gajski, "Optimal Message-Passing for Data Coherency in Distributed Architecture," Proceedings of International Symposium on System Synthesis, Kyoto, Japan, October 2002.
W. Mueller, R. Dömer, A. Gerstlauer, "The Formal Execution Semantics of SpecC," Proceedings of International Symposium on System Synthesis, Kyoto, Japan, October 2002.
Slim Ben Saoud, Daniel D. Gajski, Andreas Gerstlauer, "Co-design of Embedded Controllers for Power Electronics and Electric Systems," Proceedings International Symposium on Intelligent Control, Vancouver, Canada, October 2002.
Slim Ben Saoud, Daniel D. Gajski, Andreas Gerstlauer, "Co-design of Emulators for Power electric Processes Using SpecC Methodology," Proceedings 28th Annual Conference of the IEEE Industrial Electronics Society, Sevilla, Spain, November 2002.
R. Dömer, A. Gerstlauer, P. Kritzinger, M. Olivarez, "The SpecC System-Level Design Language and Methodology, Part 2," Embedded Systems Conference, San Francisco, March 2002.
Rainer Dömer, "The SpecC System-Level Design Language and Methodology, Part 1," Embedded Systems Conference, San Francisco, March 2002.
R. Dömer, A. Gerstlauer, D. Gajski, "SpecC Methodology for High-Level Modeling," 9th IEEE/DATC Electronic Design Processes Workshop, Monterey, April 2002.
Daniel D. Gajski, "System Level Design Flow: What is needed and what is not," CECS, UC Irvine, Technical Report CECS-TR-02-33, November 2002.
Lukai Cai, Daniel D. Gajski, "Variable Mapping of System Level Design," CECS, UC Irvine, Technical Report CECS-TR-02-32, October 2002.
Lukai Cai, Daniel D. Gajski, "Grouping-Based Architecture Exploration of System-Level Design," CECS, UC Irvine, Technical Report CECS-TR-02-31, August 2002.
Lukai Cai, Daniel D. Gajski, Mike Olivarez, Paul Kritzinger, "C/C++ Based System Design Flow Using SpecC, VCC and SystemC," CECS, UC Irvine, Technical Report CECS-TR-02-30, June 2002.
S. Abdi, J. Peng, R. Dömer, D. Shin, A. Gerstlauer, A. Gluhak, L.Cai, Q. Xie, H. Yu, P. Zhang, D. Gajski, "System-On-Chip Environment (SCE): Tutorial," CECS, UC Irvine, Technical Report CECS-TR-02-28, September 2002.
Haobo Yu, Daniel D. Gajski, "RTOS Modeling in System Level Synthesis," CECS, UC Irvine, Technical Report CECS-TR-02-25, August 2002.
Lukai Cai, Daniel D. Gajski, "Specification Tuning of System-Level Design," CECS, UC Irvine, Technical Report CECS-TR-02-20, June 2002.
Lukai Cai, Daniel D. Gajski, "Parallelization Optimization of System-Level Specification," CECS, UC Irvine, Technical Report CECS-TR-02-18, June 2002.
Andreas Gerstlauer, Daniel D. Gajski, "System-Level Abstraction Semantics," CECS, UC Irvine, Technical Report CECS-TR-02-17, July 2002.
Andreas Gerstlauer, "SpecC Modeling Guidelines," CECS, UC Irvine, Technical Report CECS-TR-02-16, April 2002.
Junyu Peng, Lukai Cai, Andreas Gerstlauer, Daniel D. Gajski, "Interactive System Design Flow," CECS, UC Irvine, Technical Report CECS-TR-02-15, April 2002.
Junyu Peng, Samar Abdi, Daniel D. Gajski, "Automatic Model Refinement for Fast Architecture Exploration," CECS, UC Irvine, Technical Report CECS-TR-02-14, April 2002.
Dongwan Shin, Daniel D. Gajski, "Interface Synthesis from Protocol Specification," CECS, UC Irvine, Technical Report CECS-TR-02-13, April 2002.
Dongwan Shin, Daniel D. Gajski, "Queue Generation Algorithm for Interface Synthesis," CECS, UC Irvine, Technical Report CECS-TR-02-12, February 2002.
Dongwan Shin, Daniel D. Gajski, "Scheduling in RTL Design Methodology," CECS, UC Irvine, Technical Report CECS-TR-02-11, April 2002.
Lukai Cai, Daniel D. Gajski, "System Level Design Using SpecC Profiler," CECS, UC Irvine, Technical Report CECS-TR-02-08, April 2002.
Lukai Cai, Daniel D. Gajski, "Introduction of Design-Oriented Profiler of SpecC Language," CECS, UC Irvine, Technical Report CECS-TR-02-07, March 2002.
Qiang Xie, Daniel D. Gajski, "Parity Checker Implementations in SpecC," CECS, UC Irvine, Technical Report CECS-TR-02-06, January 2002.
Wolfgang Mueller, Rainer Dömer, Daniel D. Gajski, "The Formal Execution Semantics of SpecC," CECS, UC Irvine, Technical Report CECS-TR-02-04, January 2002.

Books: