|
| |
- October 18: Heemin Park & Eric Kwan
 | SpecCharts & SpecC |
| Slides |
| Resources
|
October 18: Hui Li & David Korb
| Esterel |
| Slides |
| Resources
 |
http://www.esterel.org/ |
|
http://www-sop.inria.fr/meije/esterel/esterel-eng.html |
| Berry, Gérard;
The Foundations of Esterel. To appear in
Proof, Language and Interaction: Essays in Honour of Robin Milner, G.
Plotkin, C. Stirling and M. Tofte, editors,
MIT Press, 1998.
ftp://ftp-sop.inria.fr/meije/esterel/papers/foundations.pdf |
| Boussinot, F.; de Simone, R. The ESTEREL language.
Proceedings of the IEEE, vol.79, (no.9), Sept. 1991. p.1293-304.
http://ielimg.ihs.com/iel1/5/3087/00097299.pdf |
| How to use synchronous languages to play with the Lego Mindstorms ?
http://www.emn.fr/richard/lego/ |
|
October 18: Young Cho & Seung Kim
| Software synthesis |
| Slides |
| Resources
| Balarin, F.; Chiodo, M.; Giusto, P.; Hsieh, H.; Jurecska, A.; Lavagno,
L.; Sangiovanni-Vincentelli, A.; Sentovich, E.M.; Suzuki, K.
Synthesis of software programs for embedded control applications.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and
Systems, vol.18, (no.6), IEEE, June 1999. p.834-49.
http://ielimg.ihs.com/iel5/43/16613/00766731.pdf |
|
October 18: Ramkumar Rengaswamy & Jin-seong Jeong
| IP-based Design |
| Resources
| Pai Chou; Ortega, R.; Hines, K.; Partridge, K.; Borriello, G.
IPCHINOOK: an integrated IP-based design framework for distributed
embedded systems. Proceedings 1999 Design Automation Conference
(Cat. No. 99CH36361), (Proceedings 1999 Design Automation Conference (Cat.
No. 99CH36361), Proceedings 1999 Design Automation Conference, New
Orleans, LA, USA, 21-25 June 1999.) Piscataway, NJ, USA: IEEE, 1999.
p.44-9.
http://ielimg.ihs.com/iel5/6338/16938/00781229.pdf |
| Passerone, R.; Rowson, J.A.; Sangiovanni-Vincentelli, A.
Automatic synthesis of interfaces between incompatible protocols.
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat.
No.98CH36175), (Proceedings 1998 Design and Automation Conference. 35th
DAC. (Cat. No.98CH36175), Proceedings 1998 Design and Automation
Conference. 35th DAC, San Francisco, CA, USA, 15-19 June 1998.) New York,
NY, USA: IEEE, 1998. p.8-13.
http://ielimg.ihs.com/iel4/5854/15604/00724431.pdf |
|
October 25: Yi Fan & Henry Fan
| TinyOS |
| Resources
|
October 25: Alireza Hodjat & Andreas Savvides
| eCos |
| Resources
|
October 25: Vladimir Bychkovskiy & Athanasios
Stathopoulos
| Small-footprint and Real-time Linux-es |
| Resources
|
October 25: Naimisaranya Busek & Thomas Schoellhammer
| QoS-based scheduling |
| Resources
| Rajkumar, R.; Lee, C.; Lehoczky, J.; Siewiorek, D. A resource
allocation model for QoS management. Proceedings. The 18th IEEE
Real-Time Systems Symposium (Cat.No.97CB36172), (Proceedings. The 18th
IEEE Real-Time Systems Symposium (Cat.No.97CB36172), Proceedings Real-Time
Systems Symposium, San Francisco, CA, USA, 2-5 Dec. 1997.) Los Alamitos,
CA, USA: IEEE Comput. Soc, 1997. p.298-307.
http://ielimg.ihs.com/iel3/5099/13913/00641291.pdf |
| Rajkumar, R.; Chen Lee; Lehoczky, J.P.; Siewiorek, D.P.
Practical solutions for QoS-based resource allocation problems.
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279),
(Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279),
Proceedings Real-Time Systems Symposium, Madrid, Spain, 2-4 Dec. 1998.)
Los Alamitos, CA, USA: IEEE Comput. Soc, 1998. p.296-306.
http://www.cs.cmu.edu/afs/cs/project/rtmach/public/papers/rtss98.ps |
|
November 13: Arun Somasundra & Hanbiao Wang
| CPU scheduler for multimedia |
| Resources
| Goyal, P.; Xingang Guo; Vin, H.M. A hierarchical CPU scheduler
for multimedia operating systems. Operating Systems Review,
vol.30, spec. issue., (Second USENIX Symposium on Operating Systems Design
and Implementation (OSDI), Seattle, WA, USA, 28-31 Oct. 1996.) ACM, 1996.
p.107-21.
http://citeseer.nj.nec.com/23979.html |
|
November 13: Shiva Navab & Yuping Dong
| On-chip networks for System-on-chips |
| Resources
| Lotterybus
http://citeseer.nj.nec.com/447789.html |
| AMBA
Flynn, D. AMBA: enabling reusable on-chip designs.
IEEE Micro, vol.17, (no.4), IEEE, July-Aug. 1997. p.20-7.
http://ielimg.ihs.com/iel4/40/13385/00612211.pdf |
| Sonics' SiliconBackplane µNetwork
& Open Core Protocol
http://www.sonicsinc.com
http://www.sonicsinc.com/Pages/Networks.html
http://www.sonicsinc.com/Documents/ |
| Cordan, B. An efficient bus architecture for system-on-chip
design. Proceedings of the IEEE 1999 Custom Integrated Circuits
Conference, San Diego, CA, USA, 16-19 May 1999.
p.623-6.
http://ielimg.ihs.com/iel5/6310/16877/00777358.pdf |
| SESSION 41 (On-Chip Communication
Architectures) at ACM Desgin Automation Conference,
2001. |
| VSIA's On-chip Bus
http://www.vsi.org/library/specs/summary.htm#ocb1 |
| OMI's Peripheral Interconnect Bus Architecture
http://www.omimo.be |
|
November 13: Sungha Kim & Yen-Cheng Kuan
| Power Analysis & Estimation |
| Resources
| Sinha, A.; Chandrakasan, A.P. JouleTrack- A web
based tools for software energy profiling. Proceedings of the 38th ACM
Design Automation Conference, 2001.
http://www-mtl.mit.edu/~sinha/research/dac2001.pdf
http://www-mtl.mit.edu/~sinha/research/dac2001Talk.ppt |
| Sinha, A. Software energy measurement. Chapter
6 in Ph.D. Thesis Energy efficient operating systems and software,
MIT, 2001.
http://www-mtl.mit.edu/~sinha/research/ |
| Brooks, D.; Tiwari, V.; Martonosi, M. Wattch: a framework for
architectural-level power analysis and optimizations. Proceedings
of 27th International Symposium on Computer Architecture, Vancouver, BC,
Canada, 10-14 June 2000. p.83-94.
http://ielimg.ihs.com/iel5/6892/18551/00854380.pdf |
|
December 4: Solomon Bien & Denis
Perelyubskiy
| System-level (post-PCI) busses |
| Resources
|
December 4: Eric Chim & Henry Lau
| OSGi: Open Services Gateway Initiative for delivery
of managed broadband services to networks in cars, homes etc. |
| Resources
|
December 4: Simon Han, Gee Hang Lui, Sandeep Vardhan
| Wearable Computing & E-Textiles |
| Resources
|
Ideas for topics that didn't make it...
?
| Variable voltage scheduling |
| Flautner, K.; Reinhardt,
S.; Mudge, T.
Automatic performance-setting
for dynamic voltage
scaling. Proceedings of 7th
Annual International Conference on Mobile Computing and Networking, Rome,
Italy, July 2001. |
?
| Inferno |
| Resources
|
?
| Havi |
| Resources
|
?
| Scenic |
| Resources
|
?
| Labview |
| Resources
| |
| Kodosky, J.; MacCrisken, J.; Rymar, G. Visual programming
using structured data flow. Proceedings. 1991 IEEE Workshop on
Visual Languages (Cat. No.91TH0402-8), (Proceedings. 1991 IEEE Workshop on
Visual Languages (Cat. No.91TH0402-8), Kobe, Japan, 8-11 Oct. 1991.) Los
Alamitos, CA, USA: IEEE Comput. Soc. Press, 1991. p.34-9.
http://ielimg.ihs.com/iel2/376/6139/00238853.pdf |
| Andrade, H.A.;
Kovner, S.; Software Synthesis from Dataflow
Models for G and LabVIEW. Proceedings of the
32nd annual Asilomar Conference on Signals, Systems and Computers, Pacific
Grove, CA, USA, November 1998.
http://www.ece.utexas.edu/~bevans/professional/asilomar98/hugo-scott.pdf |
|
|
