The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase compile-time (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1976 (15) 1977-1981 (18) 1982-1984 (19) 1985-1988 (32) 1989 (18) 1990 (43) 1991 (24) 1992 (38) 1993 (38) 1994 (43) 1995 (42) 1996 (42) 1997 (56) 1998 (37) 1999 (54) 2000 (51) 2001 (47) 2002 (78) 2003 (73) 2004 (91) 2005 (77) 2006 (79) 2007 (86) 2008 (67) 2009 (60) 2010 (27) 2011-2012 (17) 2013-2015 (19) 2016-2017 (21) 2018-2019 (19) 2020-2022 (22) 2023-2024 (12)
Publication types (Num. hits)
article(261) inproceedings(1082) phdthesis(22)
Venues (Conferences, Journals, ...)
PLDI(43) IEEE Trans. Parallel Distribut...(32) POPL(29) ACM Trans. Program. Lang. Syst...(28) IPDPS(25) CGO(24) PPoPP(24) ICS(23) Euro-Par(22) CC(21) LCPC(20) ACM SIGPLAN Notices(19) CASES(18) IEEE PACT(16) ESOP(15) CoRR(14) More (+10 of total 448)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1663 occurrences of 935 keywords

Results
Found 1365 publication records. Showing 1365 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
69Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller A Software Science Model of Compile Time. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF software science model, Halstead theory of software science, compilation process, compiler performance index, Ada compilers, fundamental relation, program modularity, counting strategy, significant relationships, program characteristics, predictive power, compiler performance, discrimination rate, performance index, performance evaluation, program compilers, data collection, complexity measures, nonlinear model, compile time
62Laurence Tratt Compile-time meta-programming in a dynamically typed OO language. Search on Bibsonomy DLS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
62Jaakko Järvi Compile Time Recursive Objects in C++. Search on Bibsonomy TOOLS (27) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF template metaprogramming, generic programming, sparse matrices, C++ templates
55Nghi Nguyen, Angel Dominguez, Rajeev Barua Memory allocation for embedded systems with a compile-time-unknown scratch-pad size. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF data linked list, downloadable codes, embedded loading, embedded systems, compiler, Memory allocation, scratch-pad
55Sekhar Darbha, Santosh Pande A Robust Compile Time Method for Scheduling Task Parallelism on Distributed Memory Machines. Search on Bibsonomy J. Supercomput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Cost Variations, Robustness, Scheduling Algorithms, Directed Acyclic Graph, Distributed Memory Machines, task Parallelism
52Emilio Wuerges, Luiz C. V. dos Santos, Olinto J. V. Furtado, Sandro Rigo An early real-time checker for retargetable compile-time analysis. Search on Bibsonomy SBCCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compile-time WCET analysis, time-constraint feasibility analysis
50Nghi Nguyen, Angel Dominguez, Rajeev Barua Memory allocation for embedded systems with a compile-time-unknown scratch-pad size. Search on Bibsonomy CASES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF data linked list, downloadable codes, embedded loading, embedded systems, compiler, memory allocation, scratch-pad
49Yu-Kwong Kwok, Ishfaq Ahmad A Parallel Algorithm for Compile-Time Scheduling of Parallel Programs on Multiprocessors. Search on Bibsonomy IEEE PACT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF parallel randomized algorithm, PFAST algorithm, parallel fast assignment, parallel random search technique, computer-aided parallelization, computer-aided scheduling tool, CASCH tool, running time constraints, parallel programming, parallel programs, multiprocessors, time complexity, directed acyclic graphs, execution times, linear-time algorithm, Intel Paragon, compile-time scheduling
49Stephen J. Hartley Compile-Time Program Restructuring in Multiprogrammed Virtual Memory Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF multiprogrammed virtual memory, virtual address space, compile-time restructuring, instruction-only address traces, optimum space-time, performance evaluation, data structures, compiler, program compilers, storage management, storage management, multiprogramming, storage allocation, memory allocations, virtual storage, program restructuring
48Fen Xie, Margaret Martonosi, Sharad Malik Compile-time dynamic voltage scaling settings: opportunities and limits. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF low power, compiler, analytical model, dynamic voltage scaling, mixed-integer linear programming
48David M. Eyers, Sriram Srinivasan 0002, Ken Moody, Jean Bacon Compile-Time Enforcement of Dynamic Security Policies. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kilim, Dynamic security constraints, compile-time security enforcement
48Ian Gray, Neil C. Audsley Exposing non-standard architectures to embedded software using compile-time virtualisation. Search on Bibsonomy CASES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architectures, virtualization, embedded, application-specific, compile-time
48Laurence Tratt Domain specific language implementation via compile-time meta-programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Syntax extension, compile-time meta-programming, domain specific languages
48Gilbert C. Sih, Edward A. Lee A Compile-Time Scheduling Heuristic for Interconnection-Constrained Heterogeneous Processor Architectures. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF spatial dimensions, compile-time scheduling heuristic, interconnection-constrainedheterogeneous processor architectures, dynamic level scheduling, communicating tasks, scheduling, parallel architectures, temporal dimensions
48Gagan Agrawal, Alan Sussman, Joel H. Saltz An Integrated Runtime and Compile-Time Approach for Parallelizing Structured and Block Structured Applications. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Compiler support, distributed memory parallel machines, multiblock codes, multigrid codes, High-Performance Fortran, runtime support
47Richard L. Cole, Goetz Graefe Optimization of Dynamic Query Evaluation Plans. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45Sungdo Moon, Byoungro So, Mary W. Hall, Brian R. Murphy A Case for Combining Compile-Time and Run-Time Parallelization. Search on Bibsonomy LCR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
43Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho Automatic Detection of Uninitialized Variables. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Hans M. Mulder Data Buffering: Run-Time Versus Compile-Time Support. Search on Bibsonomy ASPLOS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
43Gabriel Dos Reis, Bjarne Stroustrup General constant expressions for system programming languages. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF compile time evaluation, standardization
43W. B. Song, D. S. Park, B. S. Kim, Y.-H. Kong Extracting Parallelism in Nested Loops. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF array index variables, data dependency relation, compile time parallelization methods, nested parallel DOALL loop, parallel algorithms, parallel programming, parallelization, processors, subroutines, nested loops, parallelising compilers, sequential programs, parallelism extraction
41Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41Sigmund Cherem, Radu Rugina Uniqueness inference for compile-time object deallocation. Search on Bibsonomy ISMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations
41Sigmund Cherem, Radu Rugina Compile-time deallocation of individual objects. Search on Bibsonomy ISMM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compile-time memory management, individual object deallocation, program transformations, shape analysis
41Tarek Hagras, Jan Janecek A Near Lower-Bound Complexity Algorithm for Compile-Time Task-Scheduling in Heterogeneous Computing Systems. Search on Bibsonomy ISPDC/HeteroPar The full citation details ... 2004 DBLP  DOI  BibTeX  RDF heterogeneous computing, list scheduling, task duplication, compile time scheduling, task graph scheduling
41Tarek Hagras, Jan Janecek A High Performance, Low Complexity Algorithm for Compile-Time Task Scheduling in Heterogeneous Systems. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF heterogeneous computing, list scheduling, compile time scheduling, task graph scheduling
41Tarek Hagras, Jan Janecek An Approach to Compile-Time Task Scheduling in Heterogeneous Computing Systems. Search on Bibsonomy ICPP Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF heterogeneous computing, list scheduling, compile time scheduling, task graph scheduling
41Yu-Kwong Kwok, Ishfaq Ahmad FASTEST: A Practical Low-Complexity Algorithm for Compile-Time Assignment of Parallel Programs to Multiprocessors. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF random neighborhood search, parallel algorithm, parallel processing, multiprocessors, Automatic parallelization, task graphs, compile-time scheduling, parallel programming tool
41Gudjon Gudjonsson, William H. Winsborough Compile-time memory reuse in logic programming languages through update in place. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF compile-time garbage collection, local reuse, reuse map, update in place, Prolog
41Greet Bilsen, Rudy Lauwereins, J. A. Peperstraete Compile-time scheduling with resource-constraints. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiple execution, CPU-usage, run-time performance, nonCPU resource requirements, performance evaluation, resource allocation, signal processing, digital signal processing, program compilers, processor scheduling, resource-constraints, static schedule, compile-time scheduling, scheduling method, DSP-applications
41Soonhoi Ha, Edward A. Lee Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF data-flow program graphs, data-dependent iteration, fully dynamic, static-assignment, fully static, scheduling, parallel programming, programming, program compilers, assignment, parallel processors, self-timed, compile time scheduling, idle time, program processors, probability mass function
41J. Ramanujam, P. Sadayappan Compile-Time Techniques for Data Distribution in Distributed Memory Machines. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF matrixnotation, array accesses, communication-freepartitioning, linear references, parallel programming, heuristics, program compilers, matrix algebra, data distribution, loop transformations, data partitioning, distributed memory machines, sufficient conditions, parallel loops, compile time, data decompositions
41Marwan Abi-Antoun Compile-time execution structure of object-oriented programs with practical ownership domain annotations. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF execution structure, ownership domains, runtime structure, ownership types, dynamic structure
41Rajiv Gupta 0001, Mary Lou Soffa Compile-time Techniques for Efficient Utilization of Parallel Memories. Search on Bibsonomy PPOPP/PPEALS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
39Sandhya Dwarkadas, Alan L. Cox, Willy Zwaenepoel An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System. Search on Bibsonomy ASPLOS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF FORTRAN
38Michelle Mills Strout, Larry Carter, Jeanne Ferrante Compile-time composition of run-time data and iteration reorderings. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data remapping, inspector/executor, iteration reordering, run-time transformations, sparse tiling, optimization
36Muthu Manikandan Baskaran, Albert Hartono, Sanket Tavarageri, Thomas Henretty, J. Ramanujam, P. Sadayappan Parameterized tiling revisited. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF compile-time optimization, code generation, tiling
36Tobias Lindahl, Konstantinos Sagonas Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Compile-time program checking, software development, software tools, defect detection, software quality assurance
34Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Markus Mohnen Efficient Compile-Time Garbage Collection for Arbitrary Data Structures Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Omar Hammami Fighting space complexity of compile time cache management schemes. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Rajiv Gupta 0001, Mary Lou Soffa Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF scalar values, reconfigurable long instructionword architecture, memory access conflicts, parallel processing, compiler, program compilers, storage allocation, storage allocation, data transfers
34Mohammed Javeed Zaki, Wei Li 0015, Srinivasan Parthasarathy 0001 Customized Dynamic Load Balancing for a Network of Workstations. Search on Bibsonomy HPDC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF customized dynamic load balancing, regular applications, transient external load, customized load balancing schemes, hybrid compile time/run time modeling, run time library, parallel programming, resource allocation, processor scheduling, execution time, workstations, automatic generation, workstation network, system parameters, multiple users, load balancing strategies, decision process, static load balancing, parallel code
34Matthew M. Papi, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
34Matthew M. Papi, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
34Xiaobo Yan, Xuejun Yang, Pu Wen Compile-Time Thread Distinguishment Algorithm on VIM-Based Architecture. Search on Bibsonomy Asia-Pacific Computer Systems Architecture Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Patrick Rogers, Andy J. Wellings OpenAda: Compile-Time Reflection for Ada 95. Search on Bibsonomy Ada-Europe The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compiler, tools, Reflection, Ada language
34Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere A Compile Time Based Approach for Solving Out-of-Order Communication in Kahn Process Networks. Search on Bibsonomy ASAP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Calin Cascaval, Luiz De Rose, David A. Padua, Daniel A. Reed Compile-Time Based Performance Prediction. Search on Bibsonomy LCPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Arjan J. C. van Gemund Compile-time Performance Prediction of Parallel Systems. Search on Bibsonomy MMB The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Ian Watson, Alasdair Rawsthorne Decoupled pre-fetching for distributed shared memory. Search on Bibsonomy HICSS (1) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF partial evaluation (compilers), distributed shared memory environment, decoupled pre-fetching, global view, remote memory copies, user annotations, compile-time analysis, run-time prediction, irregular access patterns, dual processor structure, partial program evaluation, data fetches, parallel architectures, parallel machine, shared memory systems, distributed memory systems, memory architecture
29Jonathan Riehl Assimilating MetaBorg: : embedding language tools in languages. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MetaBorg, concrete syntax macros, extensible syntax, staged multi-language programming, self application, SDF, stratego
29Lan S. Bai, Lei Yang 0017, Robert P. Dick Automated compile-time and run-time techniques to increase usable memory in MMU-less embedded systems. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF wireless sensor network, embedded system, data compression
29Andrei Radulescu, Arjan J. C. van Gemund Low-Cost Task Scheduling for Distributed-Memory Machines. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Compile-time task scheduling, list scheduling, distributed-memory multiprocessors, dataflow graphs
29Andrei Radulescu, Arjan J. C. van Gemund FLB: Fast Load Balancing for Distributed-Memory Machines. Search on Bibsonomy ICPP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed systems, load balancing, parallel processing, compile-time scheduling
29Patrick C. K. Hung, Kamalakar Karlapalem A Paradigm for Security Enforcement in CapBasED-AMS. Search on Bibsonomy CoopIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF security enforcement paradigm, CapBasED-AMS, capability-based event-driven activity management system, activity execution, problem-solving agent, multiple interdependent tasks, task execution, unauthorized modification, pilferage, illegal privacy violation, specification-time data, compile-time data, run-time data, system infrastructure, secure match-making, security constraints, task coordination model, security resource control, role-based resource security model, security policies, task scheduling, security of data, security threats, unauthorized access
29Anne Mulkers, William H. Winsborough, Maurice Bruynooghe Live-Structure Dataflow Analysis for Prolog. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness
29Dhruva R. Chakrabarti, Prithviraj Banerjee Global optimization techniques for automatic parallelization of hybrid applications. Search on Bibsonomy ICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Muthu Manikandan Baskaran, Nagavijayalakshmi Vydyanathan, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compile-time optimization, run-time optimization, dynamic scheduling
29Sarfraz Khurshid, Darko Marinov, Daniel Jackson 0001 An analyzable annotation language. Search on Bibsonomy OOPSLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language
29Raffaele Perego 0001, G. De Petris Minimizing network contention for mapping tasks onto massively parallel computers. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF network contention minimizing, compile-time determination, suboptimal solutions, K-ary n-cube family, processor networks, deterministic routing algorithm, wormhole flow control strategy, mapping heuristic, program-derived graphs, performance evaluation, parallel algorithms, parallel programming, parallel programs, concurrency control, multiprocessor interconnection networks, program compilers, network traffic, communication delays, massively parallel computers, message latencies, total completion time, mapping problem, task mapping
29Qi Ning, Vincent Van Dongen, Guang R. Gao Automatic data and computation decomposition for distributed memory machines. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF automatic data decomposition, automatic computation decomposition, compile-time technique, complex programs, perfect loop nests, nonperfect loop nests, loop-carried dependences, loop nest clusters, data locality constraint relaxation, homogeneous linear equations, hierarchical program nesting structures, nesting levels, compiler development, EPPP project, Environment for Portable Parallel Programming, computational complexity, parallel programming, parallelism, polynomial time algorithms, distributed memory systems, software portability, relaxation, distributed memory machines, program control structures, parallelising compilers, data redistributions, equations, data handling
29Jong-Deok Choi, Ron Cytron, Jeanne Ferrante On the Efficient Engineering of Ambitious Program Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
29Sang Lyul Min, Jean-Loup Baer Design and Analysis of a Scalable Cache Coherence Scheme Based on Clocks and Timestamps. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF cache contents reuse, scalable cache coherence, multiple privatecaches, compile-time marking, hardware-based local incoherence detection, program flow, parallel programming, shared memory multiprocessors, storage management, clocks, trace-driven simulation, buffer storage, timestamps, references
29James W. Stamos, David K. Gifford Implementing Remote Evaluation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF remote evaluation implementation, compile time support, executable code, high-level programming language, remote procedure call implementation, performance evaluation, distributed systems, semantics, distributed processing, computer networks, performance measurements, distributed applications, communication network, heterogeneous systems, syntax, run-time support, homogeneous systems
29Bharat Jayaraman, Gopal Gupta 0001 EqL: The Language and Its Implementation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF conditional rules, general-purpose language, EqL, pattern-directed rules, data-constructors, basic values, equation solving, deferred evaluation, sequential implementation, compile-time flattening, run-time equation-delaying, last-equation optimization, logic programming, functional programming, functional programming, nondeterminism, high level languages, mathematics computing, equations, logic programming languages, computational paradigm, logical variables
29Minyi Guo, Yi Pan 0001, Zhen Liu Symbolic Communication Set Generation for Irregular Parallel Applications. Search on Bibsonomy J. Supercomput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF irregular array references, distributed memory multicomputers compile-time optimization, parallelizing compilers, communication optimization, symbolic analysis
29Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata Extended Static Checking for Java. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF compile-time program checking
29Hai Jiang 0003, Vipin Chaudhary MigThread: Thread Migration in DSM Systems. Search on Bibsonomy ICPP Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF adaptive parallel computing, compile-time code transformations, thread scheduling, thread migration, Software Distributed Shared Memory
29Andrei Radulescu, Arjan J. C. van Gemund Fast and Effective Task Scheduling in Heterogeneous Systems. Search on Bibsonomy Heterogeneous Computing Workshop The full citation details ... 2000 DBLP  DOI  BibTeX  RDF compile-time task scheduling, heterogeneous systems, list scheduling, low-cost
29Frédéric Pétrot, Denis Hommais, Alain Greiner Cycle precise core based hardware/software system simulation with predictable event propagation. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF hardware software system simulation, predictable event propagation, cycle precise core based system simulator, digital embedded systems, Mealy signals, combinational signals, MIPS R3000, microprocessor core, PI-Bus, Pentium 120, communication, graph, C, high level synthesis, memories, directed graph, FSM, topological sort, compile-time, communicating finite state machines
29Geoffrey Weyer, William H. Winsborough Annotated Structure Shape Graphs for Abstract Analysis of Prolog. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Abstract Analysis, Structure Shape Graph, Unify Set, Compile-Time Garbage Collection, Update-In-Place, Structure Sharing, Sharing, Liveness, Aliasing, Type Graph
29Roger Collins, Gordon B. Steven Instruction Scheduling for a Superscalar Architecture. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF compile-time instruction scheduling, conditional group scheduler, HSA processor model, guarded instruction execution, instruction squashing, instruction buffer, performance evaluation, superscalar processors, superscalar architecture, functional units, branch instructions
29Eddy de Greef, Francky Catthoor, Hugo De Man Memory organization for video algorithms on programmable signal processors. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF video algorithms, programmable signal processors, memory-intensive algorithms, compile-time data caching, motion estimation type algorithms, performance, image processing, video, mapping, DSP, imaging, storage management, memory architecture, cache storage, digital signal processing chips, buffer sizes
29Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns Performance modeling of parallel systems with flexible precision. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF flexible precision, low-precision compile-time methods, high-cost high-precision methods, performance prediction technique, model reduction calculus, simulation, parallel processing, static analysis, performance modeling, performance prediction, program compilers, queueing networks, software performance evaluation, parallel systems, task graphs, system monitoring, simulation languages, simulation languages, modeling formalisms
29Ben Lee, Chae Shin, Ali R. Hurson A strategy for scheduling partially ordered program graphs onto multicomputers. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF partially ordered program graphs, scalar performance, user code, compile-time scheduling heuristic, SISAL programs, scheduling, performance evaluation, scalability, parallel programming, message passing, reconfigurable architectures, program compilers, processor scheduling, multicomputers, communication overhead, simulation studies, BLAS, massively parallel processing, message-passing programming, inter-processor communication, message-passing multicomputers
29Michal Cierniak, Wei Li 0015, Mohammed Javeed Zaki Loop Scheduling for Heterogeneity. Search on Bibsonomy HPDC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF scheduling, load balancing, parallel programming, parallel programming, resource allocation, optimisation, heterogeneity, communication optimizations, loop scheduling, network contention, compile-time, compiler algorithms
29P. V. R. Murthy, V. Rajaraman Implementation of Speculative Parallelism in Functional Languages. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF compile-time analysis technique, supercombinator, speculative evaluation, conservative parallelism, branch speculation, argument speculation, performance, probability, probability, functional programming, parallel languages, functional languages, lazy evaluation, speculative parallelism, user-defined function, strictness analysis
29Rahul Razdan, Michael D. Smith 0001 A high-performance microarchitecture with hardware-programmable functional units. Search on Bibsonomy MICRO The full citation details ... 1994 DBLP  DOI  BibTeX  RDF automatic instruction set design, compile-time optimization, general-purpose microarchitectures, logic synthesis, programmable logic
29Gilbert C. Sih, Edward A. Lee Declustering: A New Multiprocessor Scheduling Technique. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF acyclicprecedence graphs, scheduling, multiprocessing systems, contention, multiprocessor scheduling, interprocessor communication, declustering, graph-analysis, shared resource, scheduling heuristic, compile-time
29Saumya K. Debray, David Scott Warren Towards Banishing the Cut from Prolog. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time
28Heiko Falk, Sascha Plazar, Henrik Theiling Compile-time decided instruction cache locking using worst-case execution paths. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF WC-path, cache locking, optimization, WCET
28Brian L. Deitrich, Wen-mei W. Hwu Speculative Hedge: Regulating Compile-time Speculation Against Profile Variations. Search on Bibsonomy MICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Sumesh Udayakumaran, Angel Dominguez, Rajeev Barua Dynamic allocation for scratch-pad memory using compile-time decisions. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF embedded systems, compiler, Memory allocation, software caching, scratch pad, software-managed cache
27David Bernstein, Michael Rodeh, Shmuel Sagiv Proving Safety of Speculative Load Instructions at Compile Time. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
27Sjoerd Meijer, Hristo Nikolov, Todor P. Stefanov On compile-time evaluation of process partitioning transformations for Kahn process networks. Search on Bibsonomy CODES+ISSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF programming of MPSoC, transformations, Kahn process networks
27Tor M. Aamodt, Paul Chow Compile-time and instruction-set methods for improving floating- to fixed-point conversion accuracy. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fractional multiplication, Compilation, digital signal processing, scaling, fixed-point, signal-to-noise ratio
27Dhananjay Kulkarni, Walid A. Najjar, Robert Rinker, Fadi J. Kurdahi Compile-time area estimation for LUT-based FPGAs. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Reconfigurable computing, compiler optimization, resource estimation
27Gerardo Bandera, Emilio L. Zapata Improving the Sparse Parallelization Using Semantical Information at Compile-Time. Search on Bibsonomy Euro-Par The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Peter B. Ladkin, Barbara Simons Compile-time analysis of communicating processes. Search on Bibsonomy ICS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
27Richard C. Holt Data Descriptors: A Compile-Time Model of Data and Addressing. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
26Matthew M. Papi, Mahmood Ali, Michael D. Ernst Compile-time type-checking for custom type qualifiers in java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
26Matthew M. Papi, Mahmood Ali, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
26Marwan Abi-Antoun, Jonathan Aldrich Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF runtime structure, dynamic structure
26Naveen Kumar 0002, Bruce R. Childers, Daniel W. Williams, Jack W. Davidson, Mary Lou Soffa Compile-Time Planning for Overhead Reduction in Software Dynamic Translators. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF instruction traces, dynamic optimization, Dynamic translation
26Rizos Sakellariou A Compile-Time Partitioning Strategy for Non-Rectangular Loop Nests. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Roopa Rangaswami Compile-Time Cost Analysis for Parallel Programming. Search on Bibsonomy Euro-Par, Vol. II The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Abdelhamid Benaini, David Laiymani Compile-Time Task Scheduling for Multi-Phase Programming. Search on Bibsonomy Euro-Par, Vol. II The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Seong Bae Eun, Byeong Man Kim, Seungryul Maeng, Jung Wan Cho Compile-Time Error Detection in Temporal Specifications for Interactive Multimedia Applications. Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1365 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license