Sciweavers

7118 search results - page 213 / 1424
» Electrical and Computer Engineering
Sort
View
DAC
2001
ACM
15 years 11 months ago
Chaff: Engineering an Efficient SAT Solver
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao,...
HOTI
2008
IEEE
15 years 4 months ago
Network Processing on an SPE Core in Cell Broadband Engine
Cell Broadband EngineTM is a multi-core system on a chip and is composed of a general-purpose Power Processing Element (PPE) and eight Synergistic Processing Elements (SPEs). Its ...
Yuji Kawamura, Takeshi Yamazaki, Hiroshi Kyusojin,...
81
Voted
SIGMOD
2010
ACM
250views Database» more  SIGMOD 2010»
15 years 3 months ago
Spreadsheet as a relational database engine
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
Jerzy Tyszkiewicz
CAD
2005
Springer
14 years 10 months ago
Bayesian computer-aided experimental design of heterogeneous scaffolds for tissue engineering
This paper presents a Bayesian methodology for computer-aided experimental design of heterogeneous scaffolds for tissue engineering applications. These heterogeneous scaffolds hav...
Lee E. Weiss, Cristina H. Amon, Susan Finger, Eric...
CG
2005
Springer
14 years 10 months ago
Sketch-based free-form shape modelling with a fast and stable numerical engine
In this paper, we present a feature-based free-form shape modelling technique based on solving a fundamental problem of reconstructing the depth information from 2D sketch planes....
Yong-Jin Liu, Kai Tang, Ajay Joneja