2482 search results - page 208 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
136
click to vote
CP
1995
Springer
15 years 6 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
129
click to vote
AGP
1995
IEEE
15 years 6 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
126
click to vote
SPIN
2010
Springer
15 years 22 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
107
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
120
click to vote
SIGMOD
1994
ACM
15 years 6 months ago
1994
ACM
This paper presents, QuickStore, a memory-mapped storage system for persistent C++ built on top of the EXODUS Storage Manager. QuickStore provides fast access to in-memory objects...