Sciweavers

4172 search results - page 503 / 835
» Computing Machinery and Understanding
Sort
View
CCGRID
2006
IEEE
16 years 8 days ago
ResGrid: A Grid-aware Toolkit for Reservoir Uncertainty Analysis
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
Zhou Lei, Dayong Huang, Archit Kulshrestha, Santia...
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 8 days ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
ESCIENCE
2006
IEEE
16 years 8 days ago
Using Lambda Networks to Enhance Performance of Interactive Large Simulations
— The ability to use a visualisation tool to steer large simulations provides innovative and novel usage scenarios, eg the ability to use new algorithms for the computation of fr...
Matt J. Harvey, Shantenu Jha, Mary-Ann Thyveetil, ...
FOCS
2006
IEEE
16 years 8 days ago
Minimum Bounded Degree Spanning Trees
We consider the minimum cost spanning tree problem under the restriction that all degrees must be at most a given value k. We show that we can efficiently find a spanning tree o...
Michel X. Goemans
IISWC
2006
IEEE
16 years 7 days ago
MineBench: A Benchmark Suite for Data Mining Workloads
Abstract— Data mining constitutes an important class of scientific and commercial applications. Recent advances in data extraction techniques have created vast data sets, which ...
Ramanathan Narayanan, Berkin Özisikyilmaz, Jo...