Sciweavers

10899 search results - page 687 / 2180
» The GP Programming System
Sort
View
226
Voted
GLVLSI
2010
IEEE
296views VLSI» more  GLVLSI 2010»
15 years 7 months ago
AOP-based high-level power estimation in SystemC
The paper presents a novel high-level power modeling and estimation framework. The approach is based on a synergic integration of aspect-oriented programming(AOP) and SystemC. Mac...
Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi
ENTCS
2008
116views more  ENTCS 2008»
15 years 7 months ago
A Bidirectional Refinement Type System for LF
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
William Lovas, Frank Pfenning
169
Voted
CN
1999
91views more  CN 1999»
15 years 7 months ago
A Runtime System for Interactive Web Services
Interactive web services are increasingly replacing traditional static web pages. Producing web services seems to require a tremendous amount of laborious lowlevel coding due to t...
Claus Brabrand, Anders Møller, Anders Sandh...
ICARIS
2010
Springer
15 years 6 months ago
A Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems
Abstract. This paper presents a high level dynamic task allocation algorithm that is inspired by the biological development process and the immune system. For a microprocessor (µP...
Yang Liu, Jon Timmis, Omer Qadir, Gianluca Tempest...
SIGMOD
2003
ACM
121views Database» more  SIGMOD 2003»
16 years 7 months ago
Exposing undergraduate students to database system internals
In Spring 2003, Joe Hellerstein at Berkeley and Natassa Ailamaki at CMU collaborated in designing and running parallel editions of an undergraduate database course that exposed st...
Anastassia Ailamaki, Joseph M. Hellerstein