|
СТ |
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory |
2003 |
Maeda T., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
A Typed Process Calculus for Fine-Grained Resource Access Control to Distributed Computation |
2001 |
Hoshina D., Sumii E., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
Run-Time Bytecode Specialization |
2001 |
Masuhara H., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
24.05.2001 |
|
СТ |
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling |
2001 |
Sekiguchi T., Sakamoto T., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
11.05.2001 |
|
СТ |
Performance Evaluation of OpenMP Applications with Nested Parallelism |
2000 |
Tanaka Y., Taura K., Sato M., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
29.11.2000 |
|
СТ |
Bytecode Transformation for Portable Thread Migration in Java |
2000 |
Sakamoto T., Sekiguchi T., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
01.11.2000 |
|
СТ |
MobileML: A Programming Language for Mobile Computation |
2000 |
Hashimoto M., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
05.10.2000 |
|
СТ |
StackThreads/MP: Integrating Futures into Calling Standards |
1999 |
Taura K., Tabata K., Yonezawa A. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation |
1999 |
Sekiguchi T., Masuhara H., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
18.05.1999 |
|
СТ |
Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers |
1998 |
Yamamoto H., Taura K., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
20.11.1998 |
|
СТ |
Garbage Collection via Dynamic Type Inference - A Formal Treatment |
1998 |
Hosoya H., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
|
СТ |
Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language |
1998 |
Masuhara H., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
04.08.1998 |
|
СТ |
Partial Evaluation of Call-by-value Lambda-calculus with Side-effects |
1997 |
Asai K., Masuhara H., Yonezawa A. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization |
1997 |
Takahashi T., Ishikawa Y., Sato M., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
19.12.1997 |
|
СТ |
An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus |
1997 |
Oyama Y., Taura K., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
24.10.1997 |
|
СТ |
An Efficience Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines |
1997 |
Taura K., Yonezawa A. |
|
|
|
SIGPLAN Notices |
30.09.1997 |
|
СТ |
Fine-grain Multithreading with Minimal Compiler Support - A Cost Effective Approach to Implementing Efficient Multithreding Languages |
1997 |
Taura K., Yonezawa A. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
|
СТ |
Partial Evaluation Scheme for Concurrent Languages and Its Correctness |
1996 |
Hosoya H., Kobayashi N., Yonezawa A. |
Lecture Notes in Computer Science |
|
|
Euro-Par 96 Parallel Processing |
11.10.1996 |
|
СТ |
Schematic: A Concurrent Object-Oriened Extension to Scheme |
1996 |
Taura K., Yonezawa A. |
Lecture Notes in Computer Science |
|
|
Object-Based Parallel and Distributed Computation |
04.10.1996 |
|
СТ |
A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information - Replay and Race Detection |
1996 |
Kamada T., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
04.06.1996 |
|
СТ |
Hierarchical Collections: An Efficient Scheme to Build an Object-Oriented Distributed Class Library for Massively Parallel Computation |
1996 |
Sato N., Matsuoka S., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
27.03.1996 |
|
СТ |
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation |
1995 |
Masuhara H., Matsuoka S., Asai K., Yonezawa A. |
|
|
|
SIGPLANE Notices |
26.12.1995 |
|
СТ |
Static Analysis of Communication for Asynchronous Concurrent Programming Languages |
1995 |
Kobayashi N., Nakade M., Yonezawa A. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs |
1995 |
Taura K., Matsuoka S., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
|
СТ |
Higher-Order Concurrent Linear Logic Programming |
1995 |
Kobayashi N., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
|
СТ |
An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers |
1995 |
Kamada T., Matsuoka S., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
|
СТ |
Type-Theoretic Foundations for Concurrent Object-Oriented Programming |
1994 |
Kobayashi N., Yonezawa A. |
|
|
|
SIGPLAN Notices |
22.12.1994 |
|
СТ |
Locally Simultaneous Constraint Satisfaction |
1994 |
Hosobe H., Miyashita K., Takahashi S., Matsuoka S., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
|
СТ |
ACL - A Concurrent Linear Logic Programming Paradigm |
1993 |
Kobayashi N., Yonezawa A. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
|
СТ |
A Complete Type Inference System for Subtyped Recursive Types |
1994 |
Sekiguchi T., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages |
1993 |
Matsuoka S., Taura K., Yonezawa A. |
|
|
|
SIGPLAN Notices |
26.01.1994 |
|
СТ |
Asynchronous Communication Model Based on Linear Logic |
1993 |
Kobayashi N., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
14.01.1994 |
|
СТ |
An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers |
1993 |
Taura K., Matsuoka S., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
14.01.1994 |
|
СТ |
A General Framework for Bidirectional Translation between Abstract and Pictorial Data |
1992 |
Matsuoka S., Kamada K., Yonezawa A., Takahashi Sh. |
|
|
|
ACM Trans. Information Systems |
16.12.1992 |
|
СТ |
Object-Oriented Concurrent Refflective Languages can be Implemented Efficiently |
1992 |
Masuhara H., Matsuoka S., Watanabe T., Yonezawa A. |
|
|
|
SIGPLAN Notices |
15.12.1992 |
|
СТ |
Object-oriented Concurrent Reflective Architectures |
1992 |
Matsuoka S., Watanabe T., Ichisugi Y., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
22.07.1992 |
|
СТ |
Linguistic Supports for Development of Distributed Organizational Information Systems in Object-Oriented Concurrent Computation Frameworks |
1991 |
Wakita K., Yonezawa A. |
|
|
|
SIGOIS Bull. |
20.01.1992 |
