Sciweavers

5180 search results - page 753 / 1036
» Requirements Engineering
Sort
View
HT
1997
ACM
15 years 11 months ago
Workspaces: The HyperDisco Approach to Internet Distribution
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...
Uffe Kock Wiil, John J. Leggett
WSCG
2000
100views more  WSCG 2000»
15 years 8 months ago
Adaptive Visualization for Interactive Geometric Modeling in Geoscience
Many engineering disciplines can profitably use large high-resolution geometric models whose computational requirements exceed current computer hardware capacities. This paper pre...
HongQian Karen Lu, Richard Hammersley
BMCBI
2006
103views more  BMCBI 2006»
15 years 6 months ago
Accelerating the reconstruction of genome-scale metabolic networks
Background: The genomic information of a species allows for the genome-scale reconstruction of its metabolic capacity. Such a metabolic reconstruction gives support to metabolic e...
Richard A. Notebaart, Frank H. J. van Enckevort, C...
DAC
2002
ACM
16 years 7 months ago
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver
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 ...
Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao ...
200
Voted
CASES
2005
ACM
15 years 8 months ago
Exploring the design space of LUT-based transparent accelerators
Instruction set customization accelerates the performance of applications by compressing the length of critical dependence paths and reducing the demands on processor resources. W...
Sami Yehia, Nathan Clark, Scott A. Mahlke, Kriszti...