Sciweavers

94 search results - page 15 / 19
» Scan Compression Implementation in Industrial Design - Case ...
Sort
View
APBC
2004
14 years 11 months ago
PathwayFinder: Paving the Way Towards Automatic Pathway Extraction
Automatically mining protein pathway information from the vast amount of published literature has been an increasing need from the pharmaceutical industry and biomedical research ...
Daming Yao, Jingbo Wang, Yanmei Lu, Nathan Noble, ...
TSE
2012
13 years 5 days ago
Automated Abstractions for Contract Validation
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
Guido de Caso, Víctor A. Braberman, Diego G...
DAC
2001
ACM
15 years 10 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,...
CLUSTER
2009
IEEE
15 years 4 months ago
Power-aware scheduling of virtual machines in DVFS-enabled clusters
—With the advent of Cloud computing, large-scale virtualized compute and data centers are becoming common in the computing industry. These distributed systems leverage commodity ...
Gregor von Laszewski, Lizhe Wang, Andrew J. Younge...
CG
2007
Springer
14 years 9 months ago
An evaluation of user experience with a sketch-based 3D modeling system
With the availability of pen-enabled digital hardware, sketch-based 3D modeling is becoming an increasingly attractive alternative to traditional methods in many design environmen...
Levent Burak Kara, Kenji Shimada, Sarah D. Marmale...