作者: laxative 時間: 2025-3-21 21:43 作者: Hyperopia 時間: 2025-3-22 04:29
Compilation of Generic Regular Path Expressions Using C++ Class Templatester whether such techniques are based on type information, indexing, automata, it is desirable to synthesize implementations automatically, starting from a high-level description of the path expressions to be traversed..In this paper we present a library of C++ templates for the representation of re作者: 誤傳 時間: 2025-3-22 05:54 作者: palliate 時間: 2025-3-22 11:30
Boosting the Performance of Multimedia Applications Using SIMD Instructionsutomatic vectorization support for them is not very mature. The key difficulty is how to vectorize those SIMD-ISA-supported idioms in source code in an efficient and general way. In this paper, we introduce a powerful and ex-tendable recognition engine to solve this problem, which only needs a small作者: 颶風(fēng) 時間: 2025-3-22 13:57
Task Partitioning for Multi-core Network Processorsvel, requiring programmers to partition code into concurrent tasks early in the design process. This results in programs that are hard to maintain and hard to port to alternative architectures. This paper presents a new approach in which a high-level program is separated from its partitioning into c作者: 颶風(fēng) 時間: 2025-3-22 17:04
Experiences with Enumeration of Integer Projections of Parametric PolytopesThis count (the enumerator of a parametric polytope) is a function of the symbolic parameters that may appear in the constraints. In an extended problem (the “integer projection” of a parametric polytope), some of the variables that appear in the constraints may be existentially quantified and then 作者: 平 時間: 2025-3-22 21:46 作者: Diverticulitis 時間: 2025-3-23 02:38
Optimizing C Multithreaded Memory Management Using Thread-Local Storagections (., .). In order to reduce this overhead, we extended Hoard — a state of the art memory allocator with the ability to allocate thread-local storage. Experimental results using the tool show runtime saving of up to 44% for a set of memory management benchmarks..To allow transparent usage of th作者: 大罵 時間: 2025-3-23 05:39 作者: charisma 時間: 2025-3-23 13:26 作者: ESO 時間: 2025-3-23 15:13
A Compiler-Based Approach to Data Securitye also observe a proliferation of techniques that attempt to illegally access sensitive data without proper authorization. Due to the severe financial and social ramifications of such data leakage, the need for secure memory has become critical. However, working with secure memories can have perform作者: Feature 時間: 2025-3-23 19:01
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamicific optimizers, and refactoring tools. These applications require source-to-source transformations rather than transformations on a low-level intermediate representation. In this paper we describe the composition of source-to-source data-flow transformations in the program transformation language S作者: Lumbar-Spine 時間: 2025-3-24 00:03
Verification of Source Code Transformations by Program Equivalence Checkingerformance-efficient embedded systems. This poses severe verification problems. Verification becomes easier after converting the code into dynamic single-assignment form (DSA). This paper describes a method to prove equivalence between two programs in DSA where subscripts to array variables and loop作者: Explosive 時間: 2025-3-24 04:12
Hob: A Tool for Verifying Data?Structure?Consistency. Our tool enables the focused application of multiple communicating static analyses to different modules in the same program. Using our tool throughout the program development process, we have successfully identified several bugs in both specifications and implementations of programs.作者: 構(gòu)成 時間: 2025-3-24 06:55 作者: foreign 時間: 2025-3-24 12:09
Tiger – An Interpreter Generation Toolack. Support for important new features such as instruction specialisation, replication and improved analysis of code at runtime are presented. A simple ‘C’ virtual machine imported into . is used for demonstration purposes. Various realistic benchmarks (such as sorting and Davis-Putnam backtracking作者: Interregnum 時間: 2025-3-24 17:15 作者: CORD 時間: 2025-3-24 21:20 作者: 錯 時間: 2025-3-24 23:29
Posterior Pedicle Screw Fixationt and non-obtrusive on-the-fly collector. Finally, an implementation is provided demonstrating how the age-oriented collector outperforms both the non-generational and the generational collectors’ efficiency.作者: sundowning 時間: 2025-3-25 07:24 作者: 駭人 時間: 2025-3-25 10:57 作者: 喊叫 時間: 2025-3-25 13:07 作者: 熱情贊揚(yáng) 時間: 2025-3-25 15:48
Age-Oriented Concurrent Garbage Collectiont and non-obtrusive on-the-fly collector. Finally, an implementation is provided demonstrating how the age-oriented collector outperforms both the non-generational and the generational collectors’ efficiency.作者: defile 時間: 2025-3-25 21:00 作者: Neonatal 時間: 2025-3-26 02:04
CodeSurfer/x86—A Platform for Analyzing x86 Executables(i) CodeSurfer/x86’s GUI, (ii) CodeSurfer/x86’s scripting language, which provides access to all of the intermediate representations that CodeSurfer/x86 builds for the executable, and (iii) GrammaTech’s Path Inspector, which is a tool that uses a sophisticated pattern-matching engine to answer questions about the flow of execution in a program.作者: 脆弱帶來 時間: 2025-3-26 07:15 作者: 刻苦讀書 時間: 2025-3-26 11:09
Spinning Bullets, Bombs, and Rockets, bounds are (piecewise) affine expressions. For such programs, geometric modeling can be used and it can be shown, for groups of elements at once, that the outputs in both programs are the same function of the inputs.作者: 概觀 時間: 2025-3-26 15:51
Basic Degenerative Lumbar Scoliosis Instead, we should enrich our portfolio by methods proven in natural sciences, such as observation, induction, and in particular experimentation. In my talk, I will show how systematic experimentation automatically reveals the causes of program failures—in the input, in the program state, or in the program code.作者: esthetician 時間: 2025-3-26 16:56
Physical Examination of the Cervical Spinesent in the compiler’s private data structures; and our ., which helps the compiler meet its obligations to the debugger without exposing language-dependent details. We evaluate our approach using two case studies: the production compiler . and an instructional compiler for MiniJava.作者: geriatrician 時間: 2025-3-26 22:04 作者: mighty 時間: 2025-3-27 02:51 作者: 嫌惡 時間: 2025-3-27 07:31 作者: musicologist 時間: 2025-3-27 10:58 作者: NORM 時間: 2025-3-27 16:05 作者: JOT 時間: 2025-3-27 18:58
Experiences with Enumeration of Integer Projections of Parametric Polytopes integer projection of parametric polytopes to the enumeration of parametric polytopes. Two approaches are described and experimentally compared. Both can solve problems that were considered very difficult to solve analytically.作者: evasive 時間: 2025-3-28 01:42
Conference proceedings 2005was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited l作者: periodontitis 時間: 2025-3-28 03:00
0302-9743 ence that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven作者: MINT 時間: 2025-3-28 08:19
Planetary Probes and Spinning Parachutes,, making it a challenge to test large projects. We describe a new scalable and flexible tool, called Jazz, that uses a demand-driven structural testing approach. Jazz has a low overhead of only 17.6% for branch testing.作者: 強(qiáng)制令 時間: 2025-3-28 12:29 作者: Mingle 時間: 2025-3-28 16:14 作者: libertine 時間: 2025-3-28 19:54
Tiger – An Interpreter Generation Toolle ‘C’ virtual machine imported into . is used for demonstration purposes. Various realistic benchmarks (such as sorting and Davis-Putnam backtracking algorithms) are used to show the utility of these new features in ..作者: gimmick 時間: 2025-3-29 00:29
Boosting the Performance of Multimedia Applications Using SIMD Instructions amount of rules to recognize many such idioms and generate efficient SIMD in-structions. We integrated this engine into the classic vectorization framework and obtained very good performance speedup for some real-life applications.作者: 多嘴 時間: 2025-3-29 06:11
Verification of Source Code Transformations by Program Equivalence Checking bounds are (piecewise) affine expressions. For such programs, geometric modeling can be used and it can be shown, for groups of elements at once, that the outputs in both programs are the same function of the inputs.作者: FLUSH 時間: 2025-3-29 07:36
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/231262.jpg作者: 憂傷 時間: 2025-3-29 14:54
https://doi.org/10.1007/b107108Compiler; compiler construction; compiler optimization; language paradigms; language processing; optimiza作者: exclamation 時間: 2025-3-29 17:33
978-3-540-25411-9Springer-Verlag Berlin Heidelberg 2005作者: Calibrate 時間: 2025-3-29 20:12 作者: 熄滅 時間: 2025-3-30 03:54
Compiler Construction978-3-540-31985-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 白楊 時間: 2025-3-30 05:24 作者: 魅力 時間: 2025-3-30 10:46
Basic Degenerative Lumbar Scoliosisredict properties of future runs—up to the point that a program will never fail its specification. However, even such a 100% correct program may still show a problem: the specification itself may be problematic, or deduction required us to abstract away some relevant property. To handle such problem作者: 我不重要 時間: 2025-3-30 13:37 作者: nonchalance 時間: 2025-3-30 18:36 作者: 祝賀 時間: 2025-3-30 20:43 作者: brassy 時間: 2025-3-31 04:48
C1-2 Fixation: Transarticular Screwsutomatic vectorization support for them is not very mature. The key difficulty is how to vectorize those SIMD-ISA-supported idioms in source code in an efficient and general way. In this paper, we introduce a powerful and ex-tendable recognition engine to solve this problem, which only needs a small作者: Antimicrobial 時間: 2025-3-31 05:21 作者: MAIM 時間: 2025-3-31 10:44 作者: 刺穿 時間: 2025-3-31 15:45
Posterior Pedicle Screw Fixationency. In this paper, we investigate how to best use generations with on-the-fly collectors. On-the-fly collectors run concurrently with the program threads and induce very short program pauses. Thus, the motivation for incorporating generations is focused at improving the throughput; pauses do not m作者: DALLY 時間: 2025-3-31 18:45 作者: 恃強(qiáng)凌弱 時間: 2025-4-1 00:13 作者: 萬花筒 時間: 2025-4-1 02:22 作者: 諷刺滑稽戲劇 時間: 2025-4-1 09:52 作者: Occipital-Lobe 時間: 2025-4-1 13:11
Spinning Bullets, Bombs, and Rockets,ific optimizers, and refactoring tools. These applications require source-to-source transformations rather than transformations on a low-level intermediate representation. In this paper we describe the composition of source-to-source data-flow transformations in the program transformation language S作者: Barter 時間: 2025-4-1 14:51 作者: VOC 時間: 2025-4-1 21:59
Skipping Stones and Bouncing Bombs,. Our tool enables the focused application of multiple communicating static analyses to different modules in the same program. Using our tool throughout the program development process, we have successfully identified several bugs in both specifications and implementations of programs.
