1058 search results - page 127 / 212 » Fault-Tolerant Resource Reasoning |
125
click to vote
TCAD
2002
15 years 5 months ago
2002
Test scheduling is an important problem in system-on-a-chip (SOC) test automation. Efficient test schedules minimize the overall system test application time, avoid test resource c...
139
click to vote
EKAW
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Semantic tools such as triple stores, reasoners and query engines tend to be designed for large-scale applications. However, with the rise of sensor networks, smart-phone...
127
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
In image based rendering (IBR), a 3D scene is recorded through a set of photos, and a novel view is rendered by assembling data from the photo set. Compression is essential to red...
246
click to vote
GIS
2007
ACM
16 years 6 months ago
2007
ACM
We propose a general framework to index very large datasets of spatial data in a distributed system. Our proposal is built on the recently proposed Scalable Distributed Rtree (SD-...
137
Voted
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...