Sciweavers

962 search results - page 97 / 193
» Input validation analysis and testing
Sort
View
GECCO
1999
Springer
15 years 6 months ago
An Immunogenetic Approach to Spectra Recognition
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...
Dipankar Dasgupta, Yuehua Cao, Congjun Yang
FSTTCS
1998
Springer
15 years 6 months ago
Optimal Regular Tree Pattern Matching Using Pushdown Automata
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
Maya Madhavan, Priti Shankar
111
Voted
SCAI
2008
15 years 3 months ago
CBR for Advice Giving in a Data-Intensive Environment
Reusing past experiences by reasoning from past cases poses particular problems when the input to case retrieval comes from large amounts of online data. Volve has developed a syst...
Agnar Aamodt
108
Voted
CASES
2004
ACM
15 years 8 months ago
High-level power analysis for on-chip networks
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
Noel Eisley, Li-Shiuan Peh
131
Voted
EMSOFT
2006
Springer
15 years 6 months ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing