Sciweavers

856 search results - page 131 / 172
» Dependent Types in Practical Programming
Sort
View
VLDB
2002
ACM
151views Database» more  VLDB 2002»
13 years 8 months ago
Preference SQL - Design, Implementation, Experiences
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...
Werner Kießling, Gerhard Köstler
INFOCOM
2012
IEEE
11 years 11 months ago
Jointly optimal bit loading, channel pairing and power allocation for multi-channel relaying
Abstract—We aim to enhance the end-to-end rate of a general dual-hop relay network with multiple channels and finite modulation formats, by jointly optimizing channel pairing, p...
Mahdi Hajiaghayi, Min Dong, Ben Liang
CHI
2005
ACM
14 years 9 months ago
Effectiveness of end-user debugging software features: are there gender issues?
Although gender differences in a technological world are receiving significant research attention, much of the research and practice has aimed at how society and education can imp...
Laura Beckwith, Margaret M. Burnett, Susan Wiedenb...
ASWEC
2009
IEEE
14 years 3 months ago
A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...
Liwei Shen, Xin Peng, Wenyun Zhao
HPDC
1993
IEEE
14 years 26 days ago
Supporting Heterogeneity and Distribution in the Numerical Propulsion System
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
Patrick T. Homer, Richard D. Schlichting