5433 search results - page 558 / 1087 » Tool Support for Traceability-Adaptation |
266
click to vote
ASPLOS
2012
ACM
14 years 3 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
186
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
226
click to vote
MIDDLEWARE
2004
Springer
16 years 18 days ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
182
click to vote
ACSC
2003
IEEE
16 years 16 days ago
2003
IEEE
Grid computing is becoming an important framework for enabling applications to utilize widely distributed collections of computational and data resources, however current grid sof...
178
click to vote
BTW
2009
Springer
15 years 10 months ago
2009
Springer
: Today, decision making by users of front office applications happens without analytical information supporting this process. We propose as solution Embedded Analytics (EA) making...