Sciweavers

107 search results - page 12 / 22
» Overhead Compensation in Performance Profiling
Sort
View
FORMATS
2006
Springer
14 years 1 months ago
Model Checking Timed Automata with Priorities Using DBM Subtraction
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
Alexandre David, John Håkansson, Kim Guldstr...
SIGMOD
2005
ACM
152views Database» more  SIGMOD 2005»
14 years 10 months ago
AGILE: Adaptive Indexing for Context-Aware Information Filters
Information filtering has become a key technology for modern information systems. The goal of an information filter is to route messages to the right recipients (possibly none) ac...
Jens-Peter Dittrich, Peter M. Fischer, Donald Koss...
ISCAPDCS
2007
13 years 11 months ago
Evaluation of architectural support for speech codecs application in large-scale parallel machines
— Next generation multimedia mobile phones that use the high bandwidth 3G cellular radio network consume more power. Multimedia algorithms such as speech, video transcodecs have ...
Naeem Zafar Azeemi
IJNSEC
2008
113views more  IJNSEC 2008»
13 years 9 months ago
An Effective Anomaly Detection Method in SMTP Traffic
We investigate an effective and robust mechanism for detecting SMTP traffic anomaly. Our detection method cumulates the deviation of current delivering status from history behavio...
Hao Luo, Binxing Fang, Xiao-chun Yun, Zhi-Gang Wu
CVPR
2008
IEEE
14 years 4 months ago
Bayesian tactile face
Computer users with visual impairment cannot access the rich graphical contents in print or digital media unless relying on visual-to-tactile conversion, which is done primarily b...
Zheshen Wang, Xinyu Xu, Baoxin Li