Sciweavers

1661 search results - page 100 / 333
» Scales and Scale-like Structures
Sort
View
RTS
2010
90views more  RTS 2010»
15 years 3 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
SIGMETRICS
2010
ACM
155views Hardware» more  SIGMETRICS 2010»
15 years 3 months ago
Blackbox prediction of the impact of DVFS on end-to-end performance of multitier systems
Dynamic voltage and frequency scaling (DVFS) is a wellknown technique for gaining energy savings on desktop and laptop computers. However, its use in server settings requires care...
Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, ...
ICPR
2010
IEEE
15 years 2 months ago
Iris Image Retrieval Based on Macro-features
Most iris recognition systems use the global and local texture information of the iris in order to recognize individuals. In this work, we investigate the use of macro-features th...
Manisha Sam Sunder, Arun Ross
POPL
2011
ACM
14 years 7 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
CC
2012
Springer
271views System Software» more  CC 2012»
14 years 13 days ago
Parallel Replication-Based Points-To Analysis
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
Sandeep Putta, Rupesh Nasre