Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS
Insights from empirical studies of the software design process
The Cubemat: A parallel interconnection model consisting of hypercube and global bus connections
On the power of global-bus in mesh-connected architectures
The GF11 parallel computer: Programming and performance
A novel paradigm of parallel computation and its use to implement simple high-performance hardware
A prototype of a highly parallel dataflow machine EM-4 and its preliminary evaluation
Experience of parallel AI programming with parallel Lisp
Problem-solving environments for parallel computers
The connection machine opportunity for the implementation of a concurrent functional language
Performance effects of program structures on a snoop-cached multiprocessor system
Experience porting Mach to the RP3 large-scale shared-memory multiprocessor
Current research status and future direction of the fifth generation computer project
The status quo and prospect of Josephson junction device technology
Present status of HEMT LSI technology
Sigma system: Concepts and structure
SPARC: A scalable processor architecture
A perspective of OSI standardization: Object-oriented architecture for distributed processing
Object-oriented databases for new applications
Transaction models for federative distributed database systems
Calendar