СТ |
A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs |
1994 |
Lin C., Murata T. |
|
|
|
IEICE Trans. |
22.02.1995 |
СТ |
Abstractions for Portable, Scalable Parallel Programming |
1998 |
Alverson G. A., Griswold W. G., Lin C., Notkin D., Snyder L. |
|
|
|
IEEE Trans. on Parallel and Distributed Systems |
11.04.1998 |
СТ |
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System |
1991 |
Gaudiot J., Lin C. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
СТ |
Client-Driven Pointer Analysis |
2003 |
Guyer S. Z., Lin C. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
СТ |
Data Ensembles in Orca C |
1993 |
Lin C., Snyder L. |
|
|
|
Lecture Notes in Computer Science |
24.03.1994 |
СТ |
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers |
2006 |
Tok T. B., Guyer S. Z., Lin C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.06.2006 |
СТ |
Factor-Join: A Unique Approach to Compiling Array Languages for Parallel Machines |
1997 |
Chamberlain B. L., Choi S. -F., Lewis E. C., Lin C., Snyder L., Weathersby W. D. |
|
|
|
Lecture Notes in Computer Science |
21.08.1997 |
СТ |
Optimizing the Use of High Performance Software Libraries |
2001 |
Guyer S. Z., Lin C. |
|
|
|
Lecture Notes in Computer Science |
11.01.2002 |
СТ |
SIMPLE Performance Results in ZPL |
1995 |
Lin C., Snyder L. |
|
|
|
Lecture Notes in Computer Science |
29.03.1995 |
СТ |
The Ariadne Debugger: Scalable Application of Event-Based Abstraction |
1993 |
Cuny J., Forman G., Hough A., Kundu J., Lin C., Snyder L., Stemple D. |
|
|
|
SIGPLAN Notices |
25.03.1994 |
СТ |
ZPL: A Machine Independent Programming Language for Parallel Computers |
2000 |
Chamberlain B. L., Choi S. -E., Lewis E. C., Lin C., Snyder L., Weathersby W. D. |
|
|
|
IEEE Trans. on Software Engineering |
02.04.2002 |
СТ |
ZPL: An Array Sublanguage |
1994 |
Lin C., Snyder L. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |