4894 search results - page 830 / 979 » Dynamic Abstraction Planning |
184
click to vote
WCRE
2002
IEEE
15 years 10 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
155
click to vote
WORDS
2002
IEEE
15 years 10 months ago
2002
IEEE
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
174
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
190
click to vote
ICA3PP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Finite volume numerical methods have been widely studied, implemented and parallelized on multiprocessor systems or on clusters. Modern graphics processing units (GPU) pr...
140
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We study the “subgraph connectivity” problem for undirected graphs with sublinear vertex update time. In this problem, we can make vertices active or inactive in a gr...