Sciweavers

5499 search results - page 786 / 1100
» Generalized Rewrite Theories
Sort
View
DAC
1994
ACM
15 years 11 months ago
Acyclic Multi-Way Partitioning of Boolean Networks
Acyclic partitioning on combinational boolean networks has wide range of applications, from multiple FPGA chip partitioning to parallel circuit simulation. In this paper, we prese...
Jason Cong, Zheng Li, Rajive Bagrodia
ASPLOS
1992
ACM
15 years 11 months ago
Access Normalization: Loop Restructuring for NUMA Compilers
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
Wei Li, Keshav Pingali
ISSAC
1994
Springer
102views Mathematics» more  ISSAC 1994»
15 years 11 months ago
An Application of Symbolic Computation in the Physical Sciences
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...
Charles C. Dyer
192
Voted
ECCV
1992
Springer
15 years 11 months ago
Shape from Texture for Smooth Curved Surfaces
Projective distortion of surface texture observed in a perspective image can provide direct information about the shape of the underlying surface. Previous theories have generally...
Jonas Gårding
ACMSE
1990
ACM
15 years 11 months ago
Computerizing a machine readable dictionary
Current research in natural language processing is characterized by the development of theories of grammar which strongly depend on the lexicon to drive parsing systems (e.g. Lexi...
Jan G. Wilms