1593 search results - page 166 / 319 » A visual programming system for automated problem solving |
172
click to vote
TACAS
2012
Springer
13 years 12 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
150
click to vote
HPDC
1998
IEEE
15 years 8 months ago
1998
IEEE
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing largescale computation. The...
127
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
142
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...
288
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...