1655 search results - page 204 / 331 » Visual tool for generative programming |
105
click to vote
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
Mashups – web applications that integrate multiple data sources or APIs into one interface – have attracted considerable attention in recent years. The availability of web-bas...
122
Voted
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
116
click to vote
DSL
2009
15 years 6 days ago
2009
Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe that both their program's parameterization and t...
144
Voted
WSCG
2003
15 years 3 months ago
2003
We present a refinement and a coarsening (also simplification or decimation) algorithm for the adaptive representation of bivariate functions. The algorithms have proved to be eff...
131
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...