5477 search results - page 163 / 1096 » Contexts, Domains, and Software |
231
click to vote
FOSSACS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
180
click to vote
FSTTCS
2004
Springer
16 years 13 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
181
click to vote
ICALP
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
189
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
184
click to vote
FPGA
1998
ACM
15 years 11 months ago
1998
ACM
Current reconfigurable systems suffer from a significant overhead due to the time it takes to reconfigure their hardware. In order to deal with this overhead, and increase the com...