Sciweavers

2774 search results - page 261 / 555
» Query-Driven Program Testing
Sort
View
122
Voted
CEC
2009
IEEE
15 years 9 months ago
Local search based evolutionary multi-objective optimization algorithm for constrained and unconstrained problems
Abstract— Evolutionary multi-objective optimization algorithms are commonly used to obtain a set of non-dominated solutions for over a decade. Recently, a lot of emphasis have be...
Karthik Sindhya, Ankur Sinha, Kalyanmoy Deb, Kaisa...
131
Voted
IEEEARES
2007
IEEE
15 years 9 months ago
Secure Software Development through Coding Conventions and Frameworks
It is difficult to apply existing software development methods to security concerns. Using software for security testing purposes, in particular, is hard to do. The fact that ther...
Takao Okubo, Hidehiko Tanaka
WCRE
2007
IEEE
15 years 9 months ago
Interprocedural Static Single Assignment Form
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
Stefan Staiger, Gunther Vogel, Steffen Keul, Eduar...
MHCI
2007
Springer
15 years 9 months ago
Effective learn-quiz generation for handheld devices
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
Wolfgang Hürst, Sabine Jung, Martina Welte
130
Voted
ICASSP
2009
IEEE
15 years 9 months ago
Fast LCD motion deblurring by decimation and optimization
The LCD deblurring problem is considered as a simple bounded quadratic programming problem and is solved using conjugate gradient with early stopping criteria to avoid excessive s...
Stanley H. Chan, Truong Q. Nguyen