990 search results - page 26 / 198 » A Static Analysis Technique for Graph Transformation Systems |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
GD
2005
Springer
14 years 1 months ago
2005
Springer
Dynamic processes frequently occur in many applications. Visualizations of dynamically evolving data, for example as part of the data analysis, are typically restricted to a cumula...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
Effective buffer management is crucial for efficient inmemory and streaming XQuery processing. We propose a buffer management scheme which combines static and dynamic analysis to ...
LCTRTS
2010
Springer
14 years 14 days ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
SCAM
2005
IEEE
14 years 1 months ago
2005
IEEE
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...