1860 search results - page 289 / 372 » Automatic Generation of Search Engines |
123
Voted
ASWEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
159
Voted
CGO
2009
IEEE
15 years 7 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...
124
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
135
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
134
Voted
PEPM
1995
ACM
15 years 7 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...