Sciweavers

1917 search results - page 196 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
135
Voted
VLDB
1990
ACM
91views Database» more  VLDB 1990»
15 years 11 months ago
An Incremental Join Attachment for Starburst
ABSTRACT - In this paperwe describe the design, implementation, and performance of an incremental join facility that has been added as an extension to the Starburst extensible DBMS...
Michael J. Carey, Eugene J. Shekita, George Lapis,...
ESA
2007
Springer
122views Algorithms» more  ESA 2007»
15 years 11 months ago
A Practical Efficient Fptas for the 0-1 Multi-objective Knapsack Problem
Abstract. In the present work, we are interested in the practical behavior of a new fptas to solve the approximation version of the 0-1 multiobjective knapsack problem. Nevertheles...
Cristina Bazgan, Hadrien Hugot, Daniel Vanderpoote...
FOCI
2007
IEEE
15 years 11 months ago
An Investigation on the Compression Quality of aiNet
AiNet is an immune-inspired algorithm for data compression, i.e. the reduction of redundancy in data sets. In this paper we investigate the compression quality of aiNet. Therefore,...
Thomas Stibor, Jonathan Timmis
184
Voted
HASE
2007
IEEE
15 years 11 months ago
Precise Documentation of Critical Software
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
David Lorge Parnas, Sergiy A. Vilkomir
179
Voted
HOTOS
2007
IEEE
15 years 11 months ago
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical
Given that the majority of future processors will contain an abundance of execution cores, redundant execution can offer a promising method for increasing the availability and res...
Jesse Pool, Ian Sin Kwok Wong, David Lie