5433 search results - page 559 / 1087 » Tool Support for Traceability-Adaptation |
178
click to vote
MLQ
2008
15 years 7 months ago
2008
We work out the details of a schema for a mixed support forcing iteration, which generalizes the Mitchell model [7] with no Aronszajn trees on 2. The main purpose of this paper is ...
257
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
306
click to vote
Book
"TeX is a tool for creating professional quality, typeset pages of any kind. It is particularly good, perhaps unsurpassed, at typesetting mathematics ; as a result, it is wide...
150
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
In the past few years, MPSoC has become the most popular solution for embedded computing. However, the challenge of programming MPSoCs also comes as the biggest side-effect of the...
206
click to vote
ICSE
2009
IEEE-ACM
16 years 8 months ago
2009
IEEE-ACM
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...