The Community for Technology Leaders
1992 Fourth International Conference on Computing and Information (1992)
Toronto, Ontario, Canada
May 28, 1992 to May 30, 1992
ISBN: 0-8186-2812-X
TABLE OF CONTENTS

An integrated approach to satisfy application requirements (PDF)

J. Becher , Inst. of Telematics, Karlsruhe Univ., Germany
G.M. Solvie , Inst. of Telematics, Karlsruhe Univ., Germany
pp. 478-481

Fault-tolerant CSP (PDF)

Shyan-Ming Yuan , Dept. of Comput. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chin-Juan Chen , Dept. of Comput. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 474-477

Optimal allocation for partially replicated database systems on ring networks (PDF)

A.B. Stephens , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
Y. Yesha , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
K. Humenik , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
pp. 470-473

A distributed algorithm for parameterized semaphore operations (PDF)

M. Nelakonda , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M. Mizuno , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M.L. Neilsen , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 466-469

A distributed kernel for virtual time driven applications (PDF)

P. Ingels , IRISA, Rennes, France
C. Maziero , IRISA, Rennes, France
M. Raynal , IRISA, Rennes, France
pp. 457-460

Parallel reduction of a chain query in distributed databases (PDF)

Yanchun Zhang , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
M.E. Orlowska , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
pp. 453-456

Concurrent use of parallel communication to enable remote visualization (PDF)

K. Maly , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
F. Paterra , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
C.M. Overstreet , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
R. Mukkamala , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
S. Khanna , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 449-452

Search operations on distributed directories (PDF)

M. Bauer , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
A. Zahalka , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
pp. 445-448

Evaluation of Futurebus+ for a GMMP multiprocessor (PDF)

E.E. Johnson , Parallel Architecture Res. Lab., New Mexico State Univ., Las Cruces, NM, USA
R.S. Moore , Parallel Architecture Res. Lab., New Mexico State Univ., Las Cruces, NM, USA
J.T. Polson , Parallel Architecture Res. Lab., New Mexico State Univ., Las Cruces, NM, USA
pp. 441-444

Global snapshots for distributed debugging (PDF)

Zhonghua Yang , Alberta Univ., Edmonton, Alta., Canada
T.A. Marsland , Alberta Univ., Edmonton, Alta., Canada
pp. 436-440

Fault-tolerance for multistage interconnection networks (PDF)

Siu-Cheung Chau , Dept. of Maths. & Comput. Sci., Lethbridge Univ., Alta., Canada
Weining Zhang , Dept. of Maths. & Comput. Sci., Lethbridge Univ., Alta., Canada
pp. 430-435

A measure of fault-tolerance for distributed networks (PDF)

C. Stivaros , Dept. of Comput. Sci., Fairleigh Dickinson Univ., Madison, NJ, USA
pp. 426-429

Theory of deductive systems for protocol verification (PDF)

X. Li , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
R. Lai , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
T.S. Dillon , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
pp. 422-425

Reconfigurable optically-interconnected parallel computer architecture (PDF)

K.A. Aly , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
P.W. Dowd , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
pp. 418-421

On the complexity of maintaining fault-tolerant distributed systems (PDF)

A.P. Heinz , Inst. fur Inf., Freiburg Univ., Germany
pp. 414-417

Using ECATNets for specifying communication software in the OSI framework (PDF)

M. Bettaz , Inst. d'Inf., Constantine Univ., Algeria
M. Maouche , Inst. d'Inf., Constantine Univ., Algeria
M. Soualmi , Inst. d'Inf., Constantine Univ., Algeria
M. Boukebeche , Inst. d'Inf., Constantine Univ., Algeria
pp. 410-413

A switching architecture for congestion control in high-speed networks (PDF)

A. Hac , Dept. of Electr. Eng., Hawaii Univ., Honolulu, HI, USA
pp. 406-409

A simple perfect hashing method for static sets (PDF)

M.V. Ramakrishna , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 401-404

Enforce constraints in archival databases (PDF)

Ke Wang , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 397-400

Visual database interface for end user computing (PDF)

K.L. Siau , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
K.P. Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
H.C. Chan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 393-396

Applying graph grammars for task-oriented user interface development (PDF)

R. Freund , Tech. Univ. of Vienna, Austria
B. Haberstroh , Tech. Univ. of Vienna, Austria
C. Stary , Tech. Univ. of Vienna, Austria
pp. 389-392

Complex objects in the temporal object system (PDF)

F. Fotouhi , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
A.A. Shah , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
W. Grosky , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 381-384

An algorithm for maintenance of functional relationships (PDF)

M.W. Orlowski , Sch. of Inf. Syst., Queensland Univ. of Technol., Brisbane, Qld., Australia
pp. 377-380

An optimal multilevel signature file for large databases (PDF)

Young Man Kim , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Dik Lun Lee , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 373-376

Rules in an extended C++ (PDF)

Y.B. Czejdo , Loyola Univ., New Orleans, LA, USA
C. Eick , Loyola Univ., New Orleans, LA, USA
pp. 365-368

Compression of dictionaries via extensions to front coding (PDF)

N.H. Bshouty , Calgary Univ., Alta., Canada
G.T. Falk , Calgary Univ., Alta., Canada
pp. 361-364

Self-checking against formal specifications (PDF)

S. Antoy , Dept. of Comput. Sci., Portland State Univ., OR, USA
D. Hamlet , Dept. of Comput. Sci., Portland State Univ., OR, USA
pp. 355-360

An experiment on reusing program specifications described by conceptual data model and dependency constraint-based language (PDF)

K. Yokota , ATR Commun. Syst. Res. Labs., Kyoto, Japan
M. Hashimoto , ATR Commun. Syst. Res. Labs., Kyoto, Japan
M. Sato , ATR Commun. Syst. Res. Labs., Kyoto, Japan
pp. 350-354

An approach to achieving multi-user integrity in a knowledge base system (PDF)

G. Steinke , Fakultat fur Math. und Inf., Passau Univ., Germany
pp. 346-349

High speed querying with the DAP 510 (PDF)

P.J. Looges , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 342-345

A heterogeneous distributed database system based on extended relational model (PDF)

S.M. Chung , Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
K.A. Elghayesh , Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
pp. 338-341

User modeling and control in Adele system (PDF)

W.L. Melo , Lab. de Genie Inf., Grenoble, France
N. Belkhatir , Lab. de Genie Inf., Grenoble, France
J. Estublier , Lab. de Genie Inf., Grenoble, France
pp. 334-337

A self-guided theorem proving system (PDF)

Shie-Jue Lee , Dept. of Electr. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 329-333

Integrating CASE tools with knowledge-base by object orientation (PDF)

Fuyau Lin , Dept. of Comput. Eng., Santa Clara Univ., CA, USA
pp. 325-328

A logical model and schema integration architecture for determining equivalence in ER-diagrams (PDF)

K. Barker , Dept. of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
pp. 320-324

A graph testing concurrency control protocol for object bases (PDF)

R.F. Resende , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
A. El Abbadi , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 316-319

Methodology to implement an Amoeba complex object server (PDF)

W.B. Teeuw , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
H.M. Blanken , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 312-315

The relevance density method in information retrieval (PDF)

Y. Kane-Esrig , Cornell Univ., Ithaca, NY, USA
L. Streeter , Cornell Univ., Ithaca, NY, USA
G. Casella , Cornell Univ., Ithaca, NY, USA
pp. 307-311

Effects of network protocols on distributed concurrency control algorithm performance (PDF)

M.T. Ozsu , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
Youping Niu , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 301-306

A visual specification model for evolutionary information systems (PDF)

Chien-tsai Liu , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
Shi-Kuo Chang , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 297-300

Aggregation in model-based reasoning using prime models: a preliminary report (PDF)

R. Hewett , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 292-295

AI in real time: is this feasible? (PDF)

J. Zalewski , Dept. of Comput. Sci., Southwest Texas State Univ., San Marcos, TX, USA
pp. 286-289

Reduction of constraint networks based on local consistency (PDF)

Li An Yuan , Dept. of Maths. & Comput. Sci., Dalhousie Univ., Halifax, NS, Canada
A.A. Farrag , Dept. of Maths. & Comput. Sci., Dalhousie Univ., Halifax, NS, Canada
pp. 282-285

An incremental concept formation approach to acquisition of anaphoric regularity in Mandarin Chinese (PDF)

B.L. Chen , Comput. & Commun. Res. Labs., Ind. Technol. Res. Inst., Hsinchu, Taiwan
pp. 278-281

Nonnumeric belief structures (PDF)

S.K.M. Wong , Dept. of Comput. Sci., Regina Univ., Sask., Canada
L.S. Wang , Dept. of Comput. Sci., Regina Univ., Sask., Canada
Y.Y. Yao , Dept. of Comput. Sci., Regina Univ., Sask., Canada
pp. 274-277

Integrating semantic inference in a probabilistic approach to information retrieval. II (PDF)

Jian-Yun Nie , Dept. of Comput. Sci. & Oper. Res., Montreal Univ., Que., Canada
pp. 270-273

Using the IIPS framework to specify machine-discovery problems (PDF)

H.J. Hamilton , Dept. of Comput. Sci., Regina Univ., Sask., Canada
pp. 266-269

Inheritance and specificity. II. Reference class selection (PDF)

S.D. Goodwin , Dept. of Comput. Sci., Regina Univ., Sask., Canada
pp. 262-265

Multiagent planning using a reason maintenance system (PDF)

K. Tadepalli , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
pp. 249-252

A distributed production system for problem solving (PDF)

M. Wilscy , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Madras, India
pp. 245-248

Comparison of ID3 and its generalized version (PDF)

Tzung-Pei Hong , Dept. of Comput. Sci., Chung-Hua Polytech. Inst., Hsin-Chu, Taiwan
pp. 241-244

Consistent linear speedup in parallel alpha-beta search (PDF)

R. Hewett , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
K. Ganesan , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 237-240

Construct an object-oriented constraint logic for explanation based learning (PDF)

Xiaoyou Zhou , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 233-236

Use of unit clauses and clause splitting in automatic deduction (PDF)

Shie-Jue Lee , Dept. of Electr. Eng., Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 228-232

Criteria for dynamic method selection in diagnostic reasoning (PDF)

V.R. Benjamins , Dept. of Social Sci. Inf., Amsterdam Univ., Netherlands
A. Abu-Hanna , Dept. of Social Sci. Inf., Amsterdam Univ., Netherlands
W.N.H. Jansweijer , Dept. of Social Sci. Inf., Amsterdam Univ., Netherlands
pp. 224-227

Probabilistic approach to attributes coding in the rough sets theory (PDF)

A. Lenarcik , Kielce Univ. of Technol., Poland
Z. Piasta , Kielce Univ. of Technol., Poland
M. Masternak , Kielce Univ. of Technol., Poland
pp. 220-223

Questionnaire analysis by decision algorithm generation (PDF)

K. Grysa , Kielce Univ. of Technol., Poland
A. Lenarcik , Kielce Univ. of Technol., Poland
Z. Piasta , Kielce Univ. of Technol., Poland
E. Ramocka , Kielce Univ. of Technol., Poland
M. Sekalski , Kielce Univ. of Technol., Poland
pp. 216-219

Knowledge elicitation and integration from multiple experts (PDF)

Gwo-Jen Hwang , Comput. Center, Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 208-211

NLUS-a Prolog based natural language understanding system (PDF)

M.C. Lee , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
pp. 204-207

Interaction management of a window manager in Manifold (PDF)

F. Arbab , Centre for Maths. & Comput. Sci., Amsterdam, Netherlands
I. Herman , Centre for Maths. & Comput. Sci., Amsterdam, Netherlands
P. Spilling , Centre for Maths. & Comput. Sci., Amsterdam, Netherlands
pp. 197-202

On operational equivalence of COSY programs (PDF)

P.W. Proszynski , Jodrey Sch. of Comput. Sci., Acadia Univ., Wolfville, NS, Canada
pp. 191-196

Matrix multiplication on a toroidal parallel architecture (PDF)

W. Patterson , Dept. of Comput. Sci., New Orleans Univ., LA, USA
pp. 187-190

Performance evaluation of latency tolerant architectures (PDF)

S.S. Nemawarkar , Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
R. Govindarajan , Dept. of Electr. Eng., McGill Univ., Montreal, Que., Canada
pp. 183-186

Revisiting parallel speedup complexity (PDF)

S.G. Akl , Queen's Univ., Kingston, Ont., Canada
pp. 179-182

Performance evaluation of multicast wormhole routing in 2D-torus multicomputers (PDF)

C.S. Yang , Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
Y.M. Tsai , Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
C.Y. Liu , Nat. Sun Yat-Sen Univ., Kaohsiung, Taiwan
pp. 173-178

Detecting more independent loops across hierarchical structures (PDF)

T. Imai , Inf. Syst. Lab., Toshiba R&D Center, Kawasaki, Japan
pp. 168-172

K-selection in hypercubes (PDF)

P. Berthome , Lab. de l'Inf. du Parallelisme, Ecole Normale Superieure de Lyon, France
pp. 164-167

Writing sequential programs for parallel processors: implementation experience (PDF)

R. Subramonian , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 159-163

Conflict-free routing on hypercubes (PDF)

Zhiyong Liu , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
Jia-Huai You , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
Xiaobo Li , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 153-158

Unraveling mechanisms in vesicular dataflow model (PDF)

D. Turlej , Inst. of Comput. Sci., Warsaw Univ. of Technol., Poland
R. Podraza , Inst. of Comput. Sci., Warsaw Univ. of Technol., Poland
K. Piorun , Inst. of Comput. Sci., Warsaw Univ. of Technol., Poland
pp. 147-152

SELSYN-C: a self-synchronizing parallel programming language (PDF)

Weiren Ding , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
L.J. Hendren , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
pp. 143-146

Hyper Petersen network: a fault-tolerant multiprocessor topology (PDF)

S.K. Das , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
pp. 135-138

A data-parallel language and its compilation to a formally defined intermediate language (PDF)

J. Fagerstrom , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
P. Fritzson , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
J. Ringstrom , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
M. Pettersson , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 133-134

Space efficient parallel buddy memory management (PDF)

T. Johnson , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
T. Davis , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 128-132

Efficient directory management for distributed naming (PDF)

Xiaohua Jia , Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
pp. 118-122

A visual concurrent LISP environment and its application (PDF)

Kam Wing Ng , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Hong Kong
pp. 114-117

An efficient parallel algorithm for the assignment problem on the plane (PDF)

C.N.K. Osiakwan , Bell Northern Research, Ottawa, Ont., Canada
pp. 110-113

Sub-logarithmic algorithms for the largest empty rectangle problem (PDF)

S. Olariu , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
W. Shen , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
L. Wilson , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 106-109

Obtaining tight upper-bounds for the state complexities of DFA operations (PDF)

Sheng Yu , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
Qingyu Zhuang , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
pp. 100-104

Dynamic genericity in imperative languages: example in CML (PDF)

H.S. Soliman , Dept. of Comput. Sci., New Mexico Inst. of Min. & Technol., Socorro, NM, USA
pp. 96-99

Searching with a lie using only comparison questions (PDF)

D. Innes , Dept. of Comput. Sci. & Stat., Rhode Island Univ., Kingston, RI, USA
pp. 92-95

Efficient construction of catastrophic patterns for VLSI reconfigurable arrays with bidirectional links (PDF)

A. Nayak , Center for Parallel & Distributed Comput., Carleton Univ., Ottawa, Ont., Canada
pp. 79-83

The generic oracle hypothesis fails (PDF)

J.A. Foster , Dept. of Comput. Sci., Idaho Univ., Moscow, ID, USA
pp. 75-78

On the complexity of distance-2 coloring (PDF)

E.L. Lloyd , Dept. of Comput. Sci., Delaware Univ., Newark, DE, USA
pp. 71-74

Parallel self-reducibility (PDF)

K. Abrahamson , Washington State Univ., Pullman, WA, USA
pp. 67-70

Finding strongly connected components of circle cover graph in one-dimensional (PDF)

Ching-Ho Huang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Nen-Fu Huang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Wen-Tsuen Chen , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 58-61

Counting and generating integer partitions in parallel (PDF)

L.A. Sanchis , Dept. of Comput. Sci., Colgate Univ., Hamilton, NY, USA
pp. 54-57

An optimal algorithm for finding maximum induced bipartite subgraphs of circular-arc graphs (PDF)

Si-Qing Zheng , Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA
pp. 50-53

Linear local and global model checking algorithms for a kernal temporal logic language (PDF)

B. Vergauwen , Dept. of Comput. Sci., Katholieke Univ., Leuven, Belgium
J. Lewi , Dept. of Comput. Sci., Katholieke Univ., Leuven, Belgium
pp. 46-49

Efficient algorithms for computing matching and chromatic polynomials on series-parallel graphs (PDF)

N. Chandrasekharan , Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
S. Hannenhalli , Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
pp. 42-45

Algorithms for a k-tree core of a tree (PDF)

Shietung Peng , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
A.B. Stephens , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Yelena Yesha , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 38-41

Generating all maximal independent sets on trees in lexicographic order (PDF)

Y.H. Chang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
J.S. Wang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
R.C.T. Lee , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 34-37

Shortest m-watchmen routes for histograms: the minmax case (PDF)

B.J. Nilsson , Dept. of Comput. Sci., Lund Univ., Sweden
pp. 30-33

Resource-requirement minimization in relocation problems with precedence constraints (PDF)

B.M.-T. Lin , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao-Tung Univ., Hsinchu, Taiwan
pp. 26-29

Minimum time message transmission in networks (PDF)

Guo-Liang Xue , Minneosta Univ., Minneapolis, MN, USA
Shang-Zhi Sun , Minneosta Univ., Minneapolis, MN, USA
J. Ben Rosen , Minneosta Univ., Minneapolis, MN, USA
pp. 22-25

Spinal cellular automata (PDF)

N. Jonoska , Dept. of Math. Sci., State Univ. of New York, Binghamton, NY, USA
pp. 18-21

Maximum and minimum matchings for series-parallel networks (PDF)

Shih-Yih Wang , Dept. of Comput. & Inf. Sci., Nat. Chiao-Tung Univ., Hsinchu, Taiwan
Lih-Hsing Hsu , Dept. of Comput. & Inf. Sci., Nat. Chiao-Tung Univ., Hsinchu, Taiwan
pp. 14-17

Domain compression of incompletely specified Boolean functions (PDF)

D.D. Griffin , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
E. Schmitt , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
pp. 10-13

Using the entropy in the SPARC instruction set (PDF)

O.S. Schoepke , Sch. of Maths. Sci., Bath Univ., UK
pp. 6-9
82 ms
(Ver 3.3 (11022016))