搜索结果: 1-15 共查到“工学 Scalable”相关记录73条 . 查询时间(0.14 秒)
Socrates once said: “It is not the size of a thing, but the quality that truly matters. For it is in the nature of substance, not its volume, that true value is found.”
Engineers devise a modular system to produce efficient, scalable aquabots（图）
水上机器人 重复元件 模块化系统 工程师设计
2023/6/19
Underwater structures that can change their shapes dynamically, the way fish do, push through water much more efficiently than conventional rigid hulls. But constructing deformable devices that can ch...
第三届国际可扩展计算实时大数据应用研讨会（3rd International Workshop on Scalable Computing For Real-Time Big Data Applications）(SCRAMBL 2017)
第三届 国际可扩展计算 大数据应用 研讨会
2017/3/21
SCRAMBL is a dedicated workshop to present and discuss leading
research results, use cases, innovative ideas, challenges, and
opportunities that arise from adopting real-time big data analytics at...
New microchip demonstrates efficiency and scalable design
New microchip efficiency scalable design
2016/9/12
Princeton University researchers have built a new computer chip that promises to boost performance of data centers that lie at the core of online services from email to social media.Data centers - ess...
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...
Scalable Statistical Bug Isolation
bug isolation random sampling invariants feature selection statistical debugging
2016/5/24
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying predictors that correl...
Banshee: A Scalable Constraint-Based Analysis Toolkit
Banshee Scalable Constraint-Based Analysis Toolkit
2016/5/24
We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, incremental analysis...
Sound, Complete and Scalable Path-Sensitive Analysis
Static analysis path- and context-sensitive analysis strongest necessary/weakest sufficient conditions
2016/5/24
We present a new, precise technique for fully path- and contextsensitive program analysis. Our technique exploits two observations:First, using quantified, recursive formulas, path- and contextsensiti...
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
Scalable Column Concept Determination for Web Tables Using Large Knowledge Bases
Scalable Column Concept Web Tables Large Knowledge Bases
2016/1/23
Tabular data on the Web has become a rich source of struc-tured data that is useful for ordinary users to explore. Due to its potential, tables on the Web have recently attracted a number of studies w...
A New Fully Decentralized Scalable Peer-to-Peer GIS Architecture
GIS Internet Scale Web Based Distributed
2015/12/16
Today’s Internet GIS’s centralized components have limited the system scalability in that they are single points of failure and system performance bottleneck.As a solution, we propose a new fully dece...
Digital Elevation Model Database W42 - A Scalable System for Spatial Data
DEM/DTM Mapping Mosaic Software System Spatial Databases
2015/11/24
Digital Elevation Models (DEMs) provide elementary information for various application fields. From a global point of view, there are many different sources to furnish height information of the Earth'...
A COMPLETELY AUTOMATIC SPECTRAL RULE-BASED PRELIMINARY CLASSIFICATION OF CALIBRATED LANDSAT 5 TM AND LANDSAT 7 ETM+ IMAGES SCALABLE TO ASTER, AVHRR, MODIS, SPOT-4, SPOT-5, AND SPOT VEGETATION IMAGERY
ASTER AVHRR
2015/9/9
In recent years the launch of (very) high-resolution (VHR) spaceborne multi-spectral
(MS) scanners has made purely supervised remote sensing (RS) image analysis over
extended target areas no longer ...
A SCALABLE DISTRIBUTED SPATIAL DATA STORAGE MODE
Object-based Storage Distributed Storage Model Spatial Data
2015/8/28
With the rapid development of techniques for acquisition of spatial data, the storage and management demands of spatial data are
increasing from PB to TB level. GIS generally store spatial data in th...