Sciweavers

507 search results - page 77 / 102
» Measurement, Analysis and Modeling of RTOS System Calls Timi...
Sort
View
141
Voted
TSP
2008
118views more  TSP 2008»
15 years 3 months ago
Analytical Rate-Distortion-Complexity Modeling of Wavelet-Based Video Coders
Analytical modeling of the performance of video coders is essential in a variety of applications, such as power-constrained processing, complexity-driven video streaming, etc., whe...
Brian Foo, Yiannis Andreopoulos, Mihaela van der S...
128
Voted
TAP
2008
Springer
94views Hardware» more  TAP 2008»
15 years 3 months ago
Vacuity in Testing
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
Thomas Ball, Orna Kupferman
159
Voted
EUMAS
2006
15 years 5 months ago
Agent Capability: Automating the Design to Code Process
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
Loris Penserini, Anna Perini, Angelo Susi, John My...
148
Voted
WEBI
2010
Springer
15 years 1 months ago
Incorporating Seasonality into Search Suggestions Derived from Intranet Query Logs
While much research has been performed on query logs collected for major Web search engines, query log analysis to enhance search on smaller and more focused collections has attrac...
Stephen Dignum, Udo Kruschwitz, Maria Fasli, Yunhy...
144
Voted
SAC
2010
ACM
15 years 10 months ago
Mobile air pollution monitoring network
Current methods of estimating air quality involve assigning a single value called the Air Quality Index (AQI) to a large land area for a 24-hour period based on a very few, sparse...
W. Hedgecock, Péter Völgyesi, Á...