Sciweavers

4074 search results - page 303 / 815
» Defining Computational Aesthetics
Sort
View
HPCN
1999
Springer
15 years 10 months ago
XSIL: Extensible Scientific Interchange Language
We motivate and define the XSIL language as a flexible, hierarchical, extensible transport language for scientific data objects. The entire object may be represented in the file, o...
Kent Blackburn, Albert Lazzarini, Thomas A. Prince...
IMR
1999
Springer
15 years 10 months ago
Generation of Quad and Hex Dominant Semistructured Meshes Using an Advancing Layer Scheme
A novel algorithm to generate quad- and hex-dominant, semistructured meshes is presented. The algorithm utilizes a three-step, advancing layer scheme to generate the mesh in struc...
David S. Thompson, Bharat K. Soni
ICCAD
1998
IEEE
107views Hardware» more  ICCAD 1998»
15 years 10 months ago
Techniques for energy minimization of communication pipelines
The performance of many modern computer and communication systems is dictated by latency of communication pipelines. At the same time, power consumption is often another limiting ...
Gang Qu, Miodrag Potkonjak
KIVS
1999
Springer
15 years 10 months ago
Strategies for Minimizing the Average Cost of Paging on the Air Interface
: Location Management of mobile users in a cellular network covers tracking and paging (searching) functionality. In this paper a sequential search strategy is proposed which reduc...
Dogan Kesdogan, Andrei Trofimov, Dirk Trossen
159
Voted
IPPS
1998
IEEE
15 years 10 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa