Sciweavers

472 search results - page 87 / 95
» Scalability of local image descriptors: a comparative study
Sort
View
ISSTA
2006
ACM
14 years 1 months ago
Application of automated environment generation to commercial software
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
Oksana Tkachuk, Sreeranga P. Rajan
CCS
2005
ACM
14 years 1 months ago
CPOL: high-performance policy evaluation
Policy enforcement is an integral part of many applications. Policies are often used to control access to sensitive information. Current policy specification languages give users ...
Kevin Borders, Xin Zhao, Atul Prakash
ISLPED
2004
ACM
102views Hardware» more  ISLPED 2004»
14 years 29 days ago
Microarchitectural power modeling techniques for deep sub-micron microprocessors
The need to perform early design studies that combine architectural simulation with power estimation has become critical as power has become a design constraint whose importance h...
Nam Sung Kim, Taeho Kgil, Valeria Bertacco, Todd M...
NOSSDAV
2011
Springer
12 years 10 months ago
The impact of inter-layer network coding on the relative performance of MRC/MDC WiFi media delivery
A primary challenge in multicasting video in a wireless LAN is to deal with the client diversity – clients may have different channel characteristics and hence receive different...
Rohan Gandhi, Meilin Yang, Dimitrios Koutsonikolas...
SIGMOD
2011
ACM
297views Database» more  SIGMOD 2011»
12 years 10 months ago
Apples and oranges: a comparison of RDF benchmarks and real RDF datasets
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...
Songyun Duan, Anastasios Kementsietsidis, Kavitha ...