Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 61921 - 61950 of 63035

Full-Text Articles in Entire DC Network

A Computational Framework For Constructing Adaptive Grid Domain Mappings, Calvin J. Ribbens Apr 1987

A Computational Framework For Constructing Adaptive Grid Domain Mappings, Calvin J. Ribbens

Department of Computer Science Technical Reports

No abstract provided.


A Comparison Of Two Evidential Reasoning Schemes, Sunny Lee Apr 1987

A Comparison Of Two Evidential Reasoning Schemes, Sunny Lee

Department of Computer Science Technical Reports

No abstract provided.


Planar Linear Arrangements Of Outerplanar Graphs, Greg N. Frederickson, Susanne E. Hambrusch Apr 1987

Planar Linear Arrangements Of Outerplanar Graphs, Greg N. Frederickson, Susanne E. Hambrusch

Department of Computer Science Technical Reports

No abstract provided.


Distributed Systems Based Upon A Functional Communication Model With A Timed Token Protocol, Dan C. Marinescu Mar 1987

Distributed Systems Based Upon A Functional Communication Model With A Timed Token Protocol, Dan C. Marinescu

Department of Computer Science Technical Reports

No abstract provided.


Applying Ai Techniques To Program Optimization For Parallel Computers, Ko-Yang Wang, Dennis Gannon Mar 1987

Applying Ai Techniques To Program Optimization For Parallel Computers, Ko-Yang Wang, Dennis Gannon

Department of Computer Science Technical Reports

No abstract provided.


Adiabatic Shearing Of Incompressible Non-Newtonian Fluids, N. C. Charalambakis, Elias N. Houstis Mar 1987

Adiabatic Shearing Of Incompressible Non-Newtonian Fluids, N. C. Charalambakis, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.


Cascading Divide-And-Conquer: A Technique For Designing Parallel Algorithms, Mikhail J. Atallah, Richard Cole, Michael T. Goodrich Mar 1987

Cascading Divide-And-Conquer: A Technique For Designing Parallel Algorithms, Mikhail J. Atallah, Richard Cole, Michael T. Goodrich

Department of Computer Science Technical Reports

No abstract provided.


Efficient Solutions To Some Transpsortation Problems With Applications To Minimizing Robot Arm Travel, Mikhail J. Atallah, S. Rao Kosaraju Mar 1987

Efficient Solutions To Some Transpsortation Problems With Applications To Minimizing Robot Arm Travel, Mikhail J. Atallah, S. Rao Kosaraju

Department of Computer Science Technical Reports

No abstract provided.


A Priori Grid Adaption Strategies For Elliptic Pdes, Calvin J. Ribbens Mar 1987

A Priori Grid Adaption Strategies For Elliptic Pdes, Calvin J. Ribbens

Department of Computer Science Technical Reports

No abstract provided.


Some Experiments With Tcp/Ip Protocols Over An X.25 Network, John T. Korb, Craig E. Wills Mar 1987

Some Experiments With Tcp/Ip Protocols Over An X.25 Network, John T. Korb, Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.


Periodic Phenomena In The Classical Adams Spectral Sequence, Mark Mahowald, Paul L. Shick Mar 1987

Periodic Phenomena In The Classical Adams Spectral Sequence, Mark Mahowald, Paul L. Shick

Mathematics and Computer Science

We investigate certain periodic phenomena in the classical Adams spectral sequence which are related to the polynomial generators υn in π∗(ΒΡ). We define the notion of a class α in ExtΑ(Ζ/2,Ζ/2) being υn-periodic or υn-torsion and prove that classes that are υn-torsion are also υκ-torsion for all κ such that 0 ≤ κ ≤ n. This allows us to define a chromatic filtration of ExtΑ(Ζ/2,Ζ/2) paralleling the chromatic filtration of the Novikov spectral sequence Ε2-term …


Parallel Algorithms For Line Detection On A Mesh, Concettina Guerra, Susanne E. Hambrusch Feb 1987

Parallel Algorithms For Line Detection On A Mesh, Concettina Guerra, Susanne E. Hambrusch

Department of Computer Science Technical Reports

No abstract provided.


Sun Workstations As Cypress Implets, Douglas E. Comer, Gregory H. Smith Feb 1987

Sun Workstations As Cypress Implets, Douglas E. Comer, Gregory H. Smith

Department of Computer Science Technical Reports

No abstract provided.


Parallel And Vector Problems On The Flex/32, H S. Mcfaddin, John R. Rice Feb 1987

Parallel And Vector Problems On The Flex/32, H S. Mcfaddin, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


A Software Metrics Survey, S. D. Conte, Herbert E. Dunsmore, V. Y. Shen, W. M. Zage Feb 1987

A Software Metrics Survey, S. D. Conte, Herbert E. Dunsmore, V. Y. Shen, W. M. Zage

Department of Computer Science Technical Reports

No abstract provided.


Perception Of A Quadrilaleral, Chia-Hoang Lee Feb 1987

Perception Of A Quadrilaleral, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.


Closed-Network Duals Of Multiques With Application To Token-Passing Systems, Vernon J. Rego, Wojciech Szpankowski Feb 1987

Closed-Network Duals Of Multiques With Application To Token-Passing Systems, Vernon J. Rego, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.


A New Approach To The Dynamic Maintenance Of Maximal Points In A Plane, Greg N. Frederickson, Susan Rodger Feb 1987

A New Approach To The Dynamic Maintenance Of Maximal Points In A Plane, Greg N. Frederickson, Susan Rodger

Department of Computer Science Technical Reports

No abstract provided.


Meta-Level Programming: A Compiled Approach, Hamid Bacha Feb 1987

Meta-Level Programming: A Compiled Approach, Hamid Bacha

Electrical Engineering and Computer Science - Technical Reports

There has been some intense research lately focused on the area of meta-level inference systems. In logic programming, the limitations of Prolog are widely recognized and a meta-level approach has been suggested. Unfortunately, only meta-interpreters have been considered so far. Moreover, these meta-interpreters are often themselves written on top of a Prolog interpreter. These cascaded layers of interpreters result in an enormous slow down, rendering the resulting system practically useless for all but a small number of toy applications. This paper will report on the implementation of a fast incremental metaProlog compiler. In the process, it will explore some of …


A Routing Algorithm For Three Stage Rearrangeable Clos Networks, Ralph W. Wilkerson Feb 1987

A Routing Algorithm For Three Stage Rearrangeable Clos Networks, Ralph W. Wilkerson

Computer Science Faculty Research & Creative Works

No abstract provided.


A Logic Programming Model Of The Game Of Sprouts, Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson Feb 1987

A Logic Programming Model Of The Game Of Sprouts, Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson

Computer Science Faculty Research & Creative Works

The Game of Sprouts Has Intrigued Mathematicians for Nearly Twenty Years. This Paper Describes a Representation Scheme Which Simplifies Much of the Geometry of the Game. using This Representation, We Develop a Prolog Program Which Will Play Sprouts. It is Hoped that the Program Will Prove to Be a Useful Research Tool in Finding the Key to a Winning Strategy for Sprouts and that the Representation Will Serve as a Useful Model for Studying Planar Graphs.


A Logic Programming Model Of The Game Of Sprouts, Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson Feb 1987

A Logic Programming Model Of The Game Of Sprouts, Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson

Computer Science Faculty Research & Creative Works

The Game of Sprouts Has Intrigued Mathematicians for Nearly Twenty Years. This Paper Describes a Representation Scheme Which Simplifies Much of the Geometry of the Game. using This Representation, We Develop a Prolog Program Which Will Play Sprouts. It is Hoped that the Program Will Prove to Be a Useful Research Tool in Finding the Key to a Winning Strategy for Sprouts and that the Representation Will Serve as a Useful Model for Studying Planar Graphs. © 1987, ACM. All Rights Reserved.


A Dynamic Caching Algorithm Based On C. C. Chang's Ordered Minimal Perfect Hashing Scheme, Thomas J. Sager Feb 1987

A Dynamic Caching Algorithm Based On C. C. Chang's Ordered Minimal Perfect Hashing Scheme, Thomas J. Sager

Computer Science Technical Reports

No abstract provided.


The Performance Of Numerical Methods For Elliptic Problems With Mixed Boundary Conditions, Wayne R. Dyksen, Calvin J. Ribbens, John R. Rice Feb 1987

The Performance Of Numerical Methods For Elliptic Problems With Mixed Boundary Conditions, Wayne R. Dyksen, Calvin J. Ribbens, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


An Experimental Implementation Of The Tilde Naming System, Douglas E. Comer, Ralph E. Droms, Thomas P. Murtagh Feb 1987

An Experimental Implementation Of The Tilde Naming System, Douglas E. Comer, Ralph E. Droms, Thomas P. Murtagh

Department of Computer Science Technical Reports

No abstract provided.


Lily-A Generator For Compiler Frontends, Thomas J. Sager Jan 1987

Lily-A Generator For Compiler Frontends, Thomas J. Sager

Computer Science Technical Reports

In this paper, LILY, a generator for compiler frontends is described. LILY uses a generator of minimal perfect hash functions, MPHF , to create small fast compilers.


A Dynamic Caching Algorithm Based On C. C. Chang's Ordered Minimal Perfect Hashing Scheme, Thomas J. Sager Jan 1987

A Dynamic Caching Algorithm Based On C. C. Chang's Ordered Minimal Perfect Hashing Scheme, Thomas J. Sager

Computer Science Technical Reports

An algorithm for storage and retrieval in a small dynamic cache is presented. This algorithm is based on C.C. Chang’s ordered minimal perfect hashing scheme. Our algorithm has the property that it divides the set of objects that could occupy the cache into an arbitrary number of equivalence classes. The only restriction on which objects can occupy the cache are that no two objects in the same equivalence class can be in the cache at the same time. Retrieval from the cache is performed in constant time. Update of the cache is performed in logarithmic time.


An Attribute-Grammar Implementation Of Government-Binding Theory, Nelson Correa Jan 1987

An Attribute-Grammar Implementation Of Government-Binding Theory, Nelson Correa

Electrical Engineering and Computer Science - All Scholarship

The syntactic analysis of languages with respect to Government binding (GB) grammar is a problem that has received relatively little attention until recently. This paper describes an attribute grammar specification of the Government binding theory. The paper focuses on the description of the attribution rules responsible for determining antecedent trace relations in phrase-structure trees, and on some theoretical implications of those rules for the GB model. The specification relies on a transformation-le variant of Government "binding theory, briefly discussed by Chomsky (1981), in which the rule move-a is replaced by an interpretive rule. Here the interpretive rule is specified by …


Sorting And Selecting In Rounds, Nicholas Pippenger Jan 1987

Sorting And Selecting In Rounds, Nicholas Pippenger

All HMC Faculty Publications and Research

We present upper bounds for sorting and selecting the median in a fixed number of rounds. These bounds match the known lower bounds to within logarithmic factors. They also have the merit of being “explicit modulo expansion”; that is, probabilistic arguments are used only to obtain expanding graphs, and when explicit constructions for such graphs are found, explicit algorithms for sorting and selecting will follow. Using the best currently available explicit constructions for expanding graphs, we present the best currently known explicit algorithms for sorting and selecting in rounds.


The Complexity Of Computations By Networks, Nicholas Pippenger Jan 1987

The Complexity Of Computations By Networks, Nicholas Pippenger

All HMC Faculty Publications and Research

We survey the current state of knowledge concerning the computation of Boolean functions by networks, with particular emphasis on the addition and multiplication of binary numbers.