1246 search results - page 110 / 250 » Online testing with model programs |
213
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
92
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes "Second Life" as a novel type of testbed and simulation environment for sensor-based applications. Second Life is a popular virtual online world tha...
91
Voted
CAMAD
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract-- This paper evaluates the performance of a distributed and lightweight AC model based on per-class edge-toedge monitoring feedback for ensuring the quality of multiple se...
105
click to vote
CEC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a study on Hierarchical Surrogate-Assisted Evolutionary Algorithm (HSAEA) using different global surrogate models for solving computationally expensive optimiza...
84
Voted
LREC
2010
15 years 2 months ago
2010
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...