2604 search results - page 337 / 521 » General constant expressions for system programming language... |
148
Voted
IWMM
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
222
click to vote
ICTL
1994
15 years 8 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
130
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
215
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We propose a demonstration of Cayuga, a complex event monitoring system for high speed data streams. Our demonstration will show Cayuga applied to monitoring Web feeds; the demo w...
138
click to vote
ACTA
2010
15 years 4 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...