Parallel computing technologies
Cellular–neural automaton: a hybrid model for reaction–diffusion simulation
Flow logic for Dolev–Yao secrecy in cryptographic processes
An introduction to oracles for asynchronous distributed systems
Optimizing remote method invocation with communication–computation overlap
Debugging real-world data-parallel programs with SPiDER
Typing the ISA to cluster the processor
Message passing without send–receive
A time cost model for distributed objects parallel computation
Modeling and traffic analysis of the adaptive rate transport protocol
Distributed simulation of hybrid systems with AnyLogic and HLA
Tool environments in CORBA-based medical high-performance computing
A parallel algorithm for pattern discovery in biological sequences
A hybrid architecture for bioinformatics
Parallel creation of non-redundant gene indices from partial mRNA transcripts