544 search results - page 18 / 109 » On the Complexity of Loop Fusion |
ICFEM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
ICCD
1995
IEEE
14 years 1 months ago
1995
IEEE
Optimization of hardware resources for conditional data-flow graph behavior is particularly important when conditional behavior occurs in cyclic loops and maximization of through...
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
Microscopy imaging often suffers from limited depth-offocus. However, the specimen can be `optically sectioned' by moving the object along the optical axis; different areas a...
DNA
2005
Springer
14 years 3 months ago
2005
Springer
In the field of DNA computing, more and more efforts are made for constructing molecular machines made of DNA that work in vitro or in vivo. States of some of those machines are...
WEBI
2010
Springer
13 years 7 months ago
2010
Springer
Majority of the existing approaches to service composition, including the widely popular planning based techniques, are not able to automatically compose practical workflows that ...