Sciweavers

5387 search results - page 87 / 1078
» Generating generic functions
Sort
View
80
Voted
IPPS
2007
IEEE
15 years 7 months ago
STAMP: A Universal Algorithmic Model for Next-Generation Multithreaded Machines and Systems
We propose a generic algorithmic model called STAMP (Synchronous, Transactional, and Asynchronous MultiProcessing) as a universal performance and power complexity model for multit...
Michel Dubois, Hyunyoung Lee, Lan Lin
83
Voted
ACL
2001
15 years 2 months ago
From RAGS to RICHES: Exploiting the Potential of a Flexible Generation Architecture
The RAGS proposals for generic specification of NLG systems includes a detailed account of data representation, but only an outline view of processing aspects. In this paper we in...
Lynne J. Cahill, John Carroll, Roger Evans, Daniel...
VLSID
2003
IEEE
147views VLSI» more  VLSID 2003»
16 years 1 months ago
SoC Synthesis with Automatic Hardware Software Interface Generation
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...
Amarjeet Singh 0002, Amit Chhabra, Anup Gangwar, B...
85
Voted
EUROPAR
2004
Springer
15 years 6 months ago
Visual Data Rectangular Memory
We focus on the parallel access of randomly aligned rectangular blocks of visual data. As an alternative of traditional linearly addressable memories, we suggest a memory organizat...
Georgi Kuzmanov, Georgi Gaydadjiev, Stamatis Vassi...
104
Voted
PLDI
2010
ACM
15 years 10 months ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala