1994 share record
persistent URL:
Benjamin Arazi : On Primality Testing using Purely Divisionless Operations. Comput. J. 37 (3 ) : 219-222 (1994 )share record
persistent URL:
J. A. Bakker : A Semantic Approach to Enforce Correctness of Data Distribution Schemes. Comput. J. 37 (7 ) : 561-575 (1994 )share record
persistent URL:
Roland Balter , Serge Lacourte , Michel Riveill : The Guide Language. Comput. J. 37 (6 ) : 519-530 (1994 )share record
persistent URL:
Ferruccio Barsi , Maria Cristina Pinotti : Time Optimal Mixed Radix Conversion for Residue Number Applications. Comput. J. 37 (10 ) : 907-916 (1994 )export record
dblp key:
journals/cj/BassiouniML94 share record
persistent URL:
Mostafa A. Bassiouni , Amar Mukherjee , Mark J. Llewellyn : Design and Implementation of Extended Boolean and Comparison Operators for Time-Oriented Query Languages. Comput. J. 37 (7 ) : 576-587 (1994 )share record
persistent URL:
Noureddine Belkhatir , Walcélio L. Melo : Supporting Software Development Processes in Adele 2. Comput. J. 37 (7 ) : 621-628 (1994 )export record
dblp key:
journals/cj/BenfordBFMR94 share record
persistent URL:
Steve Benford , John Bowers , Lennart E. Fahlén , John A. Mariani , Tom Rodden : Supporting Cooperative Work in Virtual Environments. Comput. J. 37 (8 ) : 653-668 (1994 )share record
persistent URL:
Jan A. Bergstra , Inge Bethke , Alban Ponse : Process Algebra with Iteration and Nesting. Comput. J. 37 (4 ) : 243-258 (1994 )export record
dblp key:
journals/cj/BerrisfordB94 share record
persistent URL:
Graham Berrisford , M. Burrows : Reconciling OO with Turing Machines. Comput. J. 37 (10 ) : 888-906 (1994 )share record
persistent URL:
Marc Bezem , Jan Friso Groote : A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL. Comput. J. 37 (4 ) : 289-307 (1994 )export record
dblp key:
journals/cj/BhagavathiGO94 share record
persistent URL:
Dharmavani Bhagavathi , Chester E. Grosch , Stephan Olariu : A Greedy Hypercube-Labeling Algorithm. Comput. J. 37 (2 ) : 124-128 (1994 )share record
persistent URL:
James Bradley : A Complete L-system Specification for Generating an Exact Self-affine Growth-Decay Function with a Random Walk Scaling Property. Comput. J. 37 (1 ) : 58-66 (1994 )share record
persistent URL:
Alan Bundy , Hector L. MacQueen : The New Software Copyright Law. Comput. J. 37 (2 ) : 79-82 (1994 )export record
dblp key:
journals/cj/CahillBHHPS94 share record
persistent URL:
Vinny Cahill , Roland Balter , David Harper , Neville Harris , Xavier Rousset de Pina , Pedro Manuel Antunes Sousa : The Comandos Distributed Application Platform. Comput. J. 37 (6 ) : 477-486 (1994 )share record
persistent URL:
Wentong Cai , Stephen John Turner : An Approach to the Run-Time Monitoring of Parallel Programs. Comput. J. 37 (4 ) : 333-345 (1994 )share record
persistent URL:
Daniel Kim Chung Chan , Philip W. Trinder , Ray Welland : Evaluating Object-Oriented Query Languages. Comput. J. 37 (10 ) : 858-872 (1994 )share record
persistent URL:
Daniel Y. Chao , MengChu Zhou , David T. Wang : Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems. Comput. J. 37 (1 ) : 67-76 (1994 )export record
dblp key:
journals/cj/ChristensenHM94 share record
persistent URL:
Søren Christensen , Yoram Hirshfeld , Faron Moller : Decidable Subsets of CCS. Comput. J. 37 (4 ) : 233-242 (1994 )share record
persistent URL:
Jiang-Hsing Chu , Gary D. Knott : An Analysis of Spiral Hashing. Comput. J. 37 (8 ) : 715-719 (1994 )share record
persistent URL:
Anthony N. Clark : Pattern Recognition of Noisy Sequences of Behavioural Events using Functional Combinators. Comput. J. 37 (5 ) : 385-398 (1994 )share record
persistent URL:
Manuel Díaz , Ernesto Pimentel , José M. Troya : DROL: A Distributed and Real-Time Object-Oriented Logic Environment. Comput. J. 37 (5 ) : 407-421 (1994 )share record
persistent URL:
P. A. Firby , D. J. Stone : Analysis of the Structure and Resolution of a Graphics Device. Comput. J. 37 (5 ) : 367-376 (1994 )share record
persistent URL:
Wan J. Fokkink , Hans Zantema : Basic Process Algebra with Iteration: Completeness of its Equational Axioms. Comput. J. 37 (4 ) : 259-268 (1994 )share record
persistent URL:
Pasi Fränti , Olli Nevalainen , Timo Kaukoranta : Compression of Digital Images by Block Truncation Coding: A Survey. Comput. J. 37 (4 ) : 308-332 (1994 )share record
persistent URL:
Joseph L. Ganley , Lenwood S. Heath : Optimal and Random Partitions of Random Graphs. Comput. J. 37 (7 ) : 641-643 (1994 )share record
persistent URL:
Jonathan Giddy , Reihaneh Safavi-Naini : Automated Cryptanalysis of Transposition Ciphers. Comput. J. 37 (5 ) : 429-436 (1994 )share record
persistent URL:
Doug Goldson : A Symbolic Calculator for Non-Strict Functional Programs. Comput. J. 37 (3 ) : 177-187 (1994 )share record
persistent URL:
Oliver Günther , Johannes Lamberts : Object-oriented Techniques for the Management of Geographic and Environmental Data. Comput. J. 37 (1 ) : 16-25 (1994 )share record
persistent URL:
Mounir Hamdi , Richard W. Hall : An Efficient Class of Interconnection Networks for Parallel Computations. Comput. J. 37 (3 ) : 206-218 (1994 )share record
persistent URL:
Per Brinch Hansen : Interference Control in SuperPascal - A Block-Structured Parallel Language. Comput. J. 37 (5 ) : 399-406 (1994 )