1711 search results - page 123 / 343 » Completing pseudojump operators |
170
click to vote
LICS
2008
IEEE
15 years 12 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
162
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
173
Voted
DOLAP
1998
ACM
15 years 9 months ago
1998
ACM
Though designing a data warehouse requires techniques completely different from those adopted for operational systems, no significant effort has been made so far to develop a comp...
151
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
144
Voted
LISA
1998
15 years 7 months ago
1998
mkpkg is a tool that helps software publishers create installation packages. Given software that is ready for distribution, mkpkg helps the publisher develop a description of the ...