Sciweavers

7124 search results - page 403 / 1425
» Programming Languages and Operating Systems
Sort
View
APLAS
2001
ACM
15 years 10 months ago
An Effect System Combining Alias and Liveness for Explicit Memory Reuse
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
Oukseh Lee
POPL
2004
ACM
16 years 7 months ago
Global value numbering using random interpretation
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
Sumit Gulwani, George C. Necula
188
Voted
WCFLP
2005
ACM
16 years 12 days ago
Translating curry to haskell system demo
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
Bernd Braßel, Frank Huch
TOOLS
1999
IEEE
15 years 11 months ago
Building a Repository for Workflow Systems
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...
Chengfei Liu, Xuemin Lin, Xiaofang Zhou, Maria E. ...
ECOOP
2006
Springer
15 years 10 months ago
Solving Aspectual Semantic Conflicts in Resource Aware Systems
Aspects sometimes conflict between them in scenarios where they reify resource awareness concerns. These conflicts are the result of the scarcity of resources and the fact that, f...
Arturo Zambrano, Tomás Vera, Silvia E. Gord...