Sciweavers

2786 search results - page 275 / 558
» A Practical Technique for Process Abstraction
Sort
View
ENTCS
2007
134views more  ENTCS 2007»
15 years 6 months ago
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
The interpretative approach to compilation allows compiling programs by partially evaluating an interpreter w.r.t. a source program. This approach, though very attractive in princ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
SPIN
2007
Springer
16 years 22 days ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
SIGSOFT
2005
ACM
16 years 5 days ago
Detecting higher-level similarity patterns in programs
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...
Hamid Abdul Basit, Stan Jarzabek
VIS
2004
IEEE
187views Visualization» more  VIS 2004»
16 years 7 months ago
Methods for Efficient, High Quality Volume Resampling in the Frequency Domain
Resampling is a frequent task in visualization and medical imaging. It occurs whenever images or volumes are magnified, rotated, translated, or warped. Resampling is also an integ...
Aili Li, Klaus Mueller, Thomas Ernst
ICDE
2009
IEEE
278views Database» more  ICDE 2009»
16 years 8 months ago
Probabilistic Skyline Operator over Sliding Windows
Abstract-- Skyline computation has many applications including multi-criteria decision making. In this paper, we study the problem of efficient processing of continuous skyline que...
Wenjie Zhang, Xuemin Lin, Ying Zhang, Wei Wang 001...