Sciweavers

9931 search results - page 1717 / 1987
» Generative Modeling by PRISM
Sort
View
125
Voted
ESOP
1999
Springer
15 years 9 months ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...
FPGA
1999
ACM
142views FPGA» more  FPGA 1999»
15 years 9 months ago
Multi-Terminal Net Routing for Partial Crossbar-Based Multi-FPGA Systems
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
Abdel Ejnioui, N. Ranganathan
142
Voted
VISUALIZATION
1999
IEEE
15 years 9 months ago
Collapsing Flow Topology Using Area Metrics
Visualization of topological information of a vector field can provide useful information on the structure of the field. However, in turbulent flows standard critical point visual...
Wim C. de Leeuw, Robert van Liere
ICCAD
1998
IEEE
120views Hardware» more  ICCAD 1998»
15 years 9 months ago
Communication synthesis for distributed embedded systems
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
Ross B. Ortega, Gaetano Borriello
MICCAI
1999
Springer
15 years 9 months ago
Rendering the Unfolded Cerebral Cortex
Classical volume rendering is computed by casting a bundle of parallel rays from a flat viewing plane onto the volume data set, and produces as such a spatially limited view of the...
Junfeng Guo, Ioan Alexandru Salomie, Rudi Deklerck...
« Prev « First page 1717 / 1987 Last » Next »