15754 search results - page 2744 / 3151 » Programs are Knowledge Bases |
189
click to vote
IFIP
2009
Springer
16 years 2 months ago
2009
Springer
New Internet services and technologies call for higher packet switching capacities in the core network. Thus, a performance bottleneck arises at the backbone routers, as forwarding...
182
click to vote
MFCS
2009
Springer
16 years 2 months ago
2009
Springer
We consider finite graphs whose edges are labeled with elements, called colors, taken from a fixed finite alphabet. We study the problem of determining whether there is an infi...
177
click to vote
MODELS
2009
Springer
16 years 2 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
186
click to vote
PVM
2009
Springer
16 years 2 months ago
2009
Springer
Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps e...
206
click to vote
TAP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...