6829 search results - page 318 / 1366 » Quantitative Generalizations of Languages |
171
click to vote
ISPASS
2005
IEEE
16 years 8 days ago
2005
IEEE
As Java is emerging as one of the major programming languages in software development, studying how Java applications behave on recent SMT processors is of great interest. This pa...
175
click to vote
SEFM
2005
IEEE
16 years 8 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
181
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
188
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...
177
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...