Sciweavers

1726 search results - page 256 / 346
» A resistance-based approach to consensus algorithm performan...
Sort
View
ISORC
2005
IEEE
15 years 10 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
SIGMOD
2011
ACM
295views Database» more  SIGMOD 2011»
14 years 7 months ago
Attribute domain discovery for hidden web databases
Many web databases are hidden behind restrictive form-like interfaces which may or may not provide domain information for an attribute. When attribute domains are not available, d...
Xin Jin, Nan Zhang 0004, Gautam Das
CVPR
2012
IEEE
13 years 7 months ago
Detecting activities of daily living in first-person camera views
We present a novel dataset and novel algorithms for the problem of detecting activities of daily living (ADL) in firstperson camera views. We have collected a dataset of 1 millio...
Hamed Pirsiavash, Deva Ramanan
CGO
2008
IEEE
15 years 11 months ago
Automatic array inlining in java virtual machines
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
Christian Wimmer, Hanspeter Mössenböck
ICCAD
2009
IEEE
151views Hardware» more  ICCAD 2009»
15 years 2 months ago
Timing yield-aware color reassignment and detailed placement perturbation for double patterning lithography
Double patterning lithography (DPL) is a likely resolution enhancement technique for IC production in 32nm and below technology nodes. However, DPL gives rise to two independent, ...
Mohit Gupta, Kwangok Jeong, Andrew B. Kahng