Sciweavers

472 search results - page 87 / 95
» Scalability of local image descriptors: a comparative study
Sort
View
ISSTA
2006
ACM
15 years 5 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
103
Voted
CCS
2005
ACM
15 years 5 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
88
Voted
ISLPED
2004
ACM
102views Hardware» more  ISLPED 2004»
15 years 5 months 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
14 years 2 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...
100
Voted
SIGMOD
2011
ACM
297views Database» more  SIGMOD 2011»
14 years 2 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 ...