Sciweavers

12023 search results - page 2210 / 2405
» The K-Rep System Architecture
Sort
View
TCAD
2008
118views more  TCAD 2008»
15 years 6 months ago
CHIPS: Custom Hardware Instruction Processor Synthesis
This paper describes an integer-linear-programming (ILP)-based system called Custom Hardware Instruction Processor Synthesis (CHIPS) that identifies custom instructions for critica...
Kubilay Atasu, Can C. Özturan, Günhan D&...
ASE
2005
102views more  ASE 2005»
15 years 6 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
IS
2007
15 years 6 months ago
Browsing large online data tables using generalized query previews
Companies, government agencies, and other organizations are making their data available to the world over the Internet. They often use large online relational tables for this purp...
Egemen Tanin, Ben Shneiderman, Hairuo Xie
TJS
2008
95views more  TJS 2008»
15 years 6 months ago
Combating I-O bottleneck using prefetching: model, algorithms, and ramifications
Multiple memory models have been proposed to capture the effects of memory hierarchy culminating in the I-O model of Aggarwal and Vitter [?]. More than a decade of architectural a...
Akshat Verma, Sandeep Sen
TOCS
2008
107views more  TOCS 2008»
15 years 6 months ago
RaWMS - Random Walk Based Lightweight Membership Service for Wireless Ad Hoc Networks
RaWMS is a novel lightweight random membership service for ad hoc networks. The service provides each node with a partial uniformly chosen view of network nodes. Such a membership...
Ziv Bar-Yossef, Roy Friedman, Gabriel Kliot
« Prev « First page 2210 / 2405 Last » Next »