Sciweavers

566 search results - page 72 / 114
» Adaptive Online Program Analysis
Sort
View
157
Voted
CORR
2002
Springer
114views Education» more  CORR 2002»
15 years 2 months ago
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
Michael Leuschel, Jesper Jørgensen, Wim Van...
113
Voted
ICDE
2009
IEEE
129views Database» more  ICDE 2009»
15 years 9 months ago
A Static Analysis Framework for Database Applications
—Database developers today use data access APIs such as ADO.NET to execute SQL queries from their application. These applications often have security problems such as SQL injecti...
Arjun Dasgupta, Vivek R. Narasayya, Manoj Syamala
125
Voted
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
15 years 3 months ago
Neuro-finite element static analysis of structures by assembling elemental neuro-modelers
Recently, several algorithms have been proposed for using neural networks in dynamic analysis of small structural systems, and also constructing adaptive material modeling subrout...
Abdolreza Joghataie
146
Voted
WSC
2000
15 years 3 months ago
Product-mix analysis with Discrete Event Simulation
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
Raid Al-Aomar
115
Voted
ECMDAFA
2006
Springer
107views Hardware» more  ECMDAFA 2006»
15 years 6 months ago
Mutation Analysis Testing for Model Transformations
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon