Suchergebnisse - "functions and subroutines"

Automatic Parallelism Management von Westrick, Sam, Fluet, Matthew, Rainey, Mike, Acar, Umut A.

“… On any modern computer architecture today, parallelism comes with a modest cost, born from the creation and management of threads or tasks. Today, programmers …”
Volltext

Type Universes as Kripke Worlds von Koronkevich, Paulette, Bowman, William J.

“… What are mutable references; what do they mean? The answers to these questions have spawned lots of important theoretical work and form the foundation of many …”
Volltext

Better Defunctionalization through Lambda Set Specialization von Brandon, William, Driscoll, Benjamin, Dai, Frank, Berkow, Wilson, Milano, Mae

“… Higher-order functions pose a challenge for both static program analyses and optimizing compilers. To simplify the analysis and compilation of languages with …”
Volltext

Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment von Ritschel, Nico, Fronchetti, Felipe, Holmes, Reid, Garcia, Ronald, Shepherd, David C.

“… Block-based programming environments, already popular in computer science education, have been successfully used to make programming accessible to end-users in …”
Volltext

History of Logo von Solomon, Cynthia, Harvey, Brian, Kahn, Ken, Lieberman, Henry, Miller, Mark L., Minsky, Margaret, Papert, Artemis, Silverman, Brian

“… Logo is more than a programming language. It is a learning environment where children explore mathematical ideas and create projects of their own design. Logo, …”
Volltext

Intensional Functions von Palmer, Zachary, Filardo, Nathaniel Wesley, Wu, Ke

“… Functions in functional languages have a single elimination form — application — and cannot be compared, hashed, or subjected to other non-application …”
Volltext

Compositional Quantum Control Flow with Efficient Compilation in Qunity von Mints, Mikhail, Voichick, Finn, Lampropoulos, Leonidas, Rand, Robert

“… Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are particularly challenging to …”
Volltext

Dynamic dispatch of context-sensitive optimizations von Poesia, Gabriel, Pereira, Fernando Magno Quintão

“… Academia has spent much effort into making context-sensitive analyses practical, with great profit. However, the implementation of context-sensitive …”
Volltext

Path-Sensitive Inference of Function Precedence Protocols von Ramanathan, M.K., Grama, A., Jagannathan, S.

“… Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a …”
Volltext

Deriving executable process descriptions from UML von Nitto, Elisabetta Di, Lavazza, Luigi, Schiavoni, Marco, Tracanella, Emma, Trombetta, Michele

“… In the recent past, a relevant effort has been devoted to the definition of process modeling languages (PMLs). The resulting languages and environments …”
Volltext

Exhaustive Optimization Phase Order Space Exploration von Kulkarni, Prasad A., Whalley, David B., Tyson, Gary S., Davidson, Jack W.

“… The phase-ordering problem is a long standing issue for compiler writers. Most optimizing compilers typically have numerous different code-improving phases, …”
Volltext

Building Approximate Calling Context from Partial Call Traces von Serrano, Mauricio, Zhuang, Xiaotong

“… We present an approach for building calling context information useful for program understanding, performance analysis and optimizations. Our approach exploits …”
Volltext

Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler von Sundaresan, Vijay, Maier, Daryl, Ramarao, Pramod, Stoodley, Mark

“… In this paper, we describe the techniques that have been implemented in the IBM TestaRossa (TR) Just-in-Time(JIT) compiler to safely perform aggressive code …”
Volltext

Inline Analysis: Beyond Selection Heuristics von Chakrabarti, Dhruva R., Liu, Shin-Ming

“… Research on procedure inlining has mainly focused on heuristics that decide whether inlining a particular call-site maximizes application performance. However, …”
Volltext

Post Register Allocation Spill Code Optimization von Lupo, Christopher, Wilken, Kent D.

“… A highly optimized register allocator should provide an efficient placement of save/restore code for procedures that contain calls. This paper presents a new …”
Volltext

Library Functions Timing Characterization for Source-Level Analysis von Brandolese, C., Fornaciari, W., Salice, F., Sciuto, D.

“… Execution time estimation of software at source-level is nowadays a crucial phase of the system design flow, especially for portable devices and real-time …”
Volltext

Modularity in BDI-Based Multi-agent Programming Languages von Dastani, Mehdi, Steunebrink, Bas

“… This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common …”
Volltext

Procedural Abstraction with Reverse Prefix Trees von Schaeckeler, Stefan, Shang, Weijia

“… For memory constrained environments like embedded systems, optimization for size is often as important as, if not more important than, optimization for …”
Volltext

Data flow anomaly detection of recursive procedures von Livadas, Panos E., Qi Tsao, Qing

“… Let P be a program and v be a variable of P; let G p be the flowgraph of P; and, let p 1 , be a node in G P that corresponds to a point in P where a variable v …”
Volltext

Static memory allocation by pointer analysis and coloring von Zhu, J.

Volltext