5477 search results - page 105 / 1096 » Contexts, Domains, and Software |
176
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...
160
click to vote
SLP
1997
15 years 7 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
163
click to vote
DATE
2005
IEEE
16 years 3 hour ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
165
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
Multithreading is an important software modularization technique. However, it can incur substantial overheads, especially in processors where the amount of architecturally visible...
146
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the proof method that established termination. In this s...