Sciweavers

1127 search results - page 69 / 226
» The XIS Generative Programming Techniques
Sort
View
KBSE
2006
IEEE
14 years 4 months ago
Automatic Generation of Detection Algorithms for Design Defects
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
Naouel Moha, Yann-Gaël Guéhéneu...
ICALP
2005
Springer
14 years 3 months ago
Simple Extractors via Constructions of Cryptographic Pseudo-random Generators
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
Marius Zimand
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
14 years 3 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
GECCO
2009
Springer
241views Optimization» more  GECCO 2009»
14 years 2 months ago
A fast high quality pseudo random number generator for nVidia CUDA
Previously either due to hardware GPU limits or older versions of software, careful implementation of PRNGs was required to make good use of the limited numerical precision availa...
William B. Langdon
ICSE
2004
IEEE-ACM
14 years 10 months ago
Static Checking of Dynamically Generated Queries in Database Applications
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
Carl Gould, Zhendong Su, Premkumar T. Devanbu