1420 search results - page 70 / 284 » A combined functional and object-oriented approach to softwa... |
136
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
178
click to vote
SNPD
2003
15 years 7 months ago
2003
In this paper, we describe an approach and a prototype to enable participatory, collaborative tailoring of and within a groupware application. Our approach suggests extending the ...
168
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The rapid publication of important research in the biomedical literature makes it increasingly difficult for researchers to keep current with significant work in their...
150
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present the impact of dynamically translating any sequence of instructions into combinational logic. The proposed approach combines a reconfigurable architecture ...
183
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
In this paper we describe a new tool for interactive free-form fair surface design. By generalizing classical discrete Fourier analysis to two-dimensional discrete surface signals...