5477 search results - page 935 / 1096 » Contexts, Domains, and Software |
165
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...
157
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
129
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
148
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
184
click to vote
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
Scientific peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the work...