National Institute of Advanced Industrial Science and Technology (AIST)
Research Center for Information Security
|
|
National Institute of Advanced Industrial Science and Technology (AIST)
|
| Week | Slides | Code examples | Exercise |
|---|---|---|---|
| 11/07 | JPF installation | 11/21 | Introduction | examples.tar.gz | diningphil.tar.gz |
| 11/28 | Introduction, part II | examples2.tar.gz | queue.tar.gz |
| 12/05 | Modeling external processes as stubs | daytime.tar.gz | |
| 12/12 | Input/output caching | alphabet.tar.gz | |
| 12/19 | Centralization | centralization.tar.gz | |
| 01/10 | Centralization with networking | chatserver.tar.gz |
|
E-mail: c (dot) artho (at) aist (dot) go (dot) jp |
|