The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for loops with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1953-1969 (15) 1970-1973 (16) 1974-1975 (23) 1976-1977 (19) 1978 (15) 1979-1980 (26) 1981-1982 (34) 1983-1984 (25) 1985 (15) 1986 (26) 1987 (26) 1988 (50) 1989 (49) 1990 (74) 1991 (57) 1992 (69) 1993 (64) 1994 (82) 1995 (92) 1996 (106) 1997 (106) 1998 (99) 1999 (147) 2000 (131) 2001 (134) 2002 (168) 2003 (178) 2004 (202) 2005 (297) 2006 (284) 2007 (305) 2008 (345) 2009 (222) 2010 (126) 2011 (99) 2012 (106) 2013 (116) 2014 (97) 2015 (112) 2016 (104) 2017 (115) 2018 (99) 2019 (138) 2020 (131) 2021 (131) 2022 (118) 2023 (136) 2024 (23)
Publication types (Num. hits)
article(1880) incollection(33) inproceedings(3212) phdthesis(27)
Venues (Conferences, Journals, ...)
CoRR(189) IEEE Trans. Commun.(95) IEEE Trans. Parallel Distribut...(77) ISCAS(68) LCPC(62) PLDI(56) ICS(54) IPDPS(41) IEEE Trans. Computers(40) ICPP(39) CDC(38) IEEE Trans. Comput. Aided Des....(38) ICRA(37) MICRO(37) SC(36) DATE(34) More (+10 of total 1577)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3406 occurrences of 1738 keywords

Results
Found 5152 publication records. Showing 5152 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
17Sid Ahmed Ali Touati, Christine Eisenbeis Early Control of Register Pressure for Software Pipelined Loops. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17David E. Singh, María J. Martín, Francisco F. Rivera Increasing the Parallelism of Irregular Loops with Dependences. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Volodymyr Beletskyy Finding Synchronization-Free Parallelism for Non-uniform Loops. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Daniel J. Quinlan, Markus Schordan, Qing Yi, Bronis R. de Supinski Semantic-Driven Parallelization of Loops Operating on User-Defined Containers. Search on Bibsonomy LCPC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Youtao Zhang, Jun Yang 0002 Procedural Level Address Offset Assignment of DSP Applications with Loops. Search on Bibsonomy ICPP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Matthieu Martel Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Narasimhan Ramasubramanian, Ram Subramanian, Santosh Pande Automatic Compilation of Loops to Exploit Operator Parallelism on Configurable Arithmetic Logic Units. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF operator parallelism, FPGAs, parallel computing, Compilers, loop transformation, reconfigurable systems
17G. Ramalingam On loops, dominators, and dominance frontiers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF irreducible graph, iterated dominance frontier, least common ancestor, loop nesting forest, sparse evaluation, graph transformation, Dominator, loop
17Ioannis Drositis, Theodore Andronikos, George Manis, George K. Papakonstantinou, Nectarios Koziris Geometric Scheduling of 2-D UET-UCT Uniform Dependence Loops. Search on Bibsonomy PDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UET-UCT loop scheduling
17Francisco Cardells-Tormo, Javier Valls-Coquillat, Vicenc Almenar-Terre, Vicente Torres-Carot Efficient FPGA-based QPSK Demodulation Loops: Application to the DVB Standard. Search on Bibsonomy FPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17María J. Martín, David E. Singh, Juan Touriño, Francisco F. Rivera Improving Locality in the Parallelization of Doacross Loops (Research Note). Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Gayathri Krishnamurthy, Elana D. Granston, Eric Stotzer Affinity-based cluster assignment for unrolled loops. Search on Bibsonomy ICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF affinity-based clustering (ABC) algorithms, homogeneous clusters, partitioned register files, software pipelining, loop optimizations, loop scheduling, VLIW architectures, loop unrolling, cluster assignment
17Volodymyr Beletskyy, R. Drazkowski, Marcin Liersz An Approach to Parallelizing Non-Uniform Loops with the Omega Calculator. Search on Bibsonomy PARELEC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF non-uniform dependences, Presburger formulas, loop parallelization
17Chi Ta Wu, TingTing Hwang Instruction buffering for nested loops in low power design. Search on Bibsonomy ISCAS (4) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Andrey V. Mezhiba, Eby G. Friedman Properties of on-chip inductive current loops. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF loop inductance, inductance, inductive coupling
17Tian Xia, Jien-Chung Lo On-Chip Jitter Measurement for Phase Locked Loops. Search on Bibsonomy DFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Geoffrey Canright Ants and Loops. Search on Bibsonomy Ant Algorithms The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Maria Athanasaki, Aristidis Sotiropoulos, Georgios Tsoukalas, Nectarios Koziris Pipelined scheduling of tiled nested loops onto clusters of SMPs using memory mapped network interfaces. Search on Bibsonomy SC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF memory mapped network interfaces, tile grouping, SMPs, DMA, pipelined schedules, communication overlapping
17Nicholas G. Hall, Chelliah Sriskandarajah, Tharmarajah Ganesharajah Operational Decisions in AGV-Served Flowshop Loops: Scheduling. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF scheduling, heuristics, manufacturing, automated guided vehicles
17G. X. Tyson, M. Smelyanskyi, Edward S. Davidson Evaluating the Use of Register Queues in Software Pipelined Loops. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF modulo variable expansion, rotating register file, register queues, register connection, Software pipelining, VLIW
17André Stauffer, Moshe Sipper Externally Controllable and Destructible Self-Replicating Loops. Search on Bibsonomy ECAL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Tom Egan, Samiha Mourad Verification of Embedded Phase-Locked Loops. Search on Bibsonomy ISQED The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Uma Mahadevan, Kevin Nomura, Roy Dz-Ching Ju, Rick Hank Applying Data Speculation in Modulo Scheduled Loops. Search on Bibsonomy IEEE PACT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Alain Darte, Georges-André Silber Temporary Arrays for Distribution of Loops with Control Dependences. Search on Bibsonomy Euro-Par The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Qing Yi, Vikram S. Adve, Ken Kennedy Transforming loops to recursion for multi-level memory hierarchies. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Pranav Ashar, Anand Raghunathan, Aarti Gupta, Subhrajit Bhattacharya Verification of Scheduling in the Presence of Loops Using Uninterpreted Symbolic Simulation. Search on Bibsonomy ICCD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Yonghong Song, Zhiyuan Li 0001 A Compiler Framework for Tiling Imperfectly-Nested Loops. Search on Bibsonomy LCPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Lizhong Sun, Tad A. Kwasniewski, Kris Iniewski A quadrature output voltage controlled ring oscillator based on three-stage sub-feedback loops. Search on Bibsonomy ISCAS (2) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Antti Mäntyniemi, Timo Rahkonen, Juha Kostamovaara A high resolution digital CMOS time-to-digital converter based on nested delay locked loops. Search on Bibsonomy ISCAS (2) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Edward Mutafungwa, Kamugisha Kazaura Assessing Opportunities for Broadband Optical Wireless Local Loops in an Unbundled Access Network. Search on Bibsonomy MDA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Abhijit Ghosh, Sandeep K. Lodha, Ranga Vemuri Hierarchical Scheduling in High Level Synthesis Using Resource Sharing Across Nested Loops. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Nihal J. Godambe, C.-J. Richard Shi Behavioral Level Noise Modeling and Jitter Simulation of Phase-Locked Loops with Faults Using VHDL-AMS. Search on Bibsonomy J. Electron. Test. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF behavioral fault modeling, noise, fault modeling, fault simulation, jitter, analog test
17Pierre Boulet, Paul Feautrier Scanning Polyhedra without Do-loops. Search on Bibsonomy IEEE PACT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF PIP, polyheron scanning, linearly bounded lattices, code generation, integer programming, Automatic parallelization
17Burghard von Karger A Proof Rule for Control Loops. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Kiran Bondalapati, Viktor K. Prasanna Mapping Loops onto Reconfigurable Architectures. Search on Bibsonomy FPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Denis Hommais, Frédéric Pétrot Efficient Combinational Loops Handling for Cycle Precise Simulation of System on a Chip. Search on Bibsonomy EUROMICRO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Benoît R. Veillette, Gordon W. Roberts Stimulus generation for built-in self-test of charge-pump phase-locked loops. Search on Bibsonomy ITC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Michelle Mills Strout, Larry Carter, Jeanne Ferrante, Beth Simon Schedule-Independent Storage Mapping for Loops. Search on Bibsonomy ASPLOS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Gao Nianshu, Zhaoqing Zhang, Ruliang Qiao Precise Dependence Test for Scalar within Nested Loops. Search on Bibsonomy APDC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Martin Beaudry, François Lemieux, Denis Thérien Finite Loops Recognize Exactly the Regular Open Languages. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Radu Calinescu A BSP Approach to the Scheduling of Tightly-Nested Loops. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Cheng-Zhong Xu 0001, Vipin Chaudhary Time-Stamping Algorithms for Parallelization of Loops at Run-Time. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Chul-Kwon Cho, Mann-Ho Lee A Loop Parallelization Method for Nested Loops with Non-uniform Dependences. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Manfred Koegst, Günter Franke, Steffen Rülke, Klaus Feske Low Power Design of FSMs by State Assignment and Disabling Self-Loops. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF FSM synthesis, encoding constraints, low power design, clock gating, state assignment
17Chun Gong, Rami G. Melhem, Rajiv Gupta 0001 Loop Transformations for Fault Detection in Regular Loops on Massively Parallel Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Compiler-assisted approach, duplicating execution, execution pattern, fault detection, distributed-memory systems, loop transformation, data dependence analysis
17Alain Darte, Frédéric Vivien On the Optimality of Allen and Kennedy's Algorithm for Parallel Extraction in Nested Loops. Search on Bibsonomy Euro-Par, Vol. I The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
17Martin Griebl, Christian Lengauer Classifying Loops for Space-Time Mapping. Search on Bibsonomy Euro-Par, Vol. I The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
17Shih-Hung Kao, Chao-Tung Yang, Shian-Shyong Tseng Run-Time Parallelization for Loops. Search on Bibsonomy HICSS (1) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
17Christine Fricker, Olivier Temam, William Jalby Influence of Cross-Interferences on Blocked Loops: A Case Study with Matric-Vector Multiply Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF cache conflicts (interferences), data locality optimization, blocking, cache performance, numerical codes
17Steve Carr 0001, Ken Kennedy Improving the Ratio of Memory Operations to Floating-Point Operations in Loops. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF unroll-and-jam, balance
17B. Ramakrishna Rau Iterative modulo scheduling: an algorithm for software pipelining loops. Search on Bibsonomy MICRO The full citation details ... 1994 DBLP  DOI  BibTeX  RDF software pipelining, instruction scheduling, modulo scheduling, loop scheduling
17Martin Griebl, Christian Lengauer On Scanning Space-Time Mapped While Loops. Search on Bibsonomy CONPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF while loop, parallelizing compilation, loop parallelization, space-time mapping
17Yeong-Sheng Chen, Sheng-De Wang, Chien-Min Wang Compiler techniques for maximizing fine-grain and coarse-grain parallelism in loops with uniform dependences. Search on Bibsonomy International Conference on Supercomputing The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
17Takashi Matsumoto 0002, Kei Hiraki Dynamic Switching of Coherent Cache Protocols and its Effects on Doacross Loops. Search on Bibsonomy International Conference on Supercomputing The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
17John F. Beetem Hierarchical topological sorting of apparent loops via partitioning. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
17David E. Hudak, Santosh G. Abraham Compiler techniques for data partitioning of sequentially iterated parallel loops. Search on Bibsonomy ICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
17David C. Cann, John Feo SISAL versus FORTRAN: a comparison using the Livermore loops. Search on Bibsonomy SC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF FORTRAN, SISAL
17Jyh-Herng Chow, Williams Ludwell Harrison III Switch-stacks: a scheme for microtasking nested parallel loops. Search on Bibsonomy SC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
17Joseph de Kerf A note on the Power Operators "loops are harmful". Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
17Jesús Labarta, Eduard Ayguadé GTS: Extracting Full Parallelism Out of DO Loops. Search on Bibsonomy PARLE (2) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
17Claire Hanen Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Key-words Timed Petri nets, software pipelining, cyclic scheduling
17Claire Hanen Optimizing horizontal microprograms for vectorial loops with timed petri nets. Search on Bibsonomy ICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
17Kemal Ebcioglu A compilation technique for software pipelining of loops with conditional jumps. Search on Bibsonomy MICRO The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
17Jialu Huang, Arun Raman, Thomas B. Jablin, Yun Zhang 0005, Tzu-Han Hung, David I. August Decoupled software pipelining creates parallelization opportunities. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF DSWP, enabling transformation, parallelization, multicore, speculation
17Sumit Gulwani, Florian Zuleger The reachability-bound problem. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF disjunctive invariants, resource bound analysis, pattern matching, transitive closure, ranking functions
17Mohammad Ali Ghodrat, Tony Givargis Efficient dynamic voltage/frequency scaling through algorithmic loop transformation. Search on Bibsonomy CODES+ISSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algorithmic loop transformation, compiler optimization for low power, dynamic voltage/frequency scaling
17Gábor Rétvári, Felician Németh, Ranganai Chaparadza, Róbert Szabó OSPF for Implementing Self-adaptive Routing in Autonomic Networks: A Case Study. Search on Bibsonomy MACE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Autonomic/Self-managing Networks, autonomic routing functionality, self-adaptation, OSPF
17Kieron Turkington, Turkington A. Constantinides, Kostas Masselos, Peter Y. K. Cheung Outer Loop Pipelining for Application Specific Datapaths in FPGAs. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Yasumi Kawamura, Md. Shahidul Islam, Yoichi Sumi A strategy of automatic hexahedral mesh generation by using an improved whisker-weaving method with a surface mesh modification procedure. Search on Bibsonomy Eng. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hexahedral mesh generation, Surface mesh modification, Whisker-weaving, Sheet loop, Self-intersection
17Diego R. Llanos Ferraris, David Orden, Belén Palop Just-In-Time Scheduling for Loop-based Speculative Parallelization. Search on Bibsonomy PDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF loop-based speculation, scheduling, speculative multithreading, Speculative parallelization
17Alain Ketterlin, Philippe Clauss Prediction and trace compression of data access addresses through nested loop recognition. Search on Bibsonomy CGO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nested loop recognition, value prediction, data access, trace analysis, trace compression
17Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling WCET-driven, code-size critical procedure cloning. Search on Bibsonomy SCOPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Aldo Balestrino, Emanuele Crisostomi, Alberto Landi, Alessandro Menicagli ARGA loop pairing criteria for multivariable systems. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Ward Douglas Maurer Removing backward go-to statements from Ada programs: possibilities and problems. Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ada compilers, go-to statements, loop trees, directed graphs
17Navodaya Garepalli, Kartik Gopalan, Ping Yang 0002 Control Message Reduction Techniques in Backward Learning Ad Hoc Routing Protocols. Search on Bibsonomy ICCCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Mabel Iglesias Ham, Adrian Ion, Walter G. Kropatsch, Edel B. García Reyes Delineating Homology Generators in Graph Pyramids. Search on Bibsonomy CIARP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF graphs pyramids, pyramid drawing, homology generators
17Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Alexander V. Veidenbaum, Constantine D. Polychronopoulos Cache-aware iteration space partitioning. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF load balancing, caches
17Qin Zhu, Lei Lin, Holger M. Kienle, Hausi A. Müller Characterizing maintainability concerns in autonomic element design. Search on Bibsonomy ICSM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Piotr Augustyniak Optimal Coding of Vectorcardiographic Sequences Using Spatial Prediction. Search on Bibsonomy IEEE Trans. Inf. Technol. Biomed. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Yosi Ben-Asher, Moshe Yuda Source Level Merging of Independent Programs. Search on Bibsonomy PACT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Neil Vachharajani, Ram Rangan, Easwaran Raman, Matthew J. Bridges, Guilherme Ottoni, David I. August Speculative Decoupled Software Pipelining. Search on Bibsonomy PACT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling Influence of procedure cloning on WCET prediction. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF WCET minimization, context-sensitive WCET-analysis, compiler optimizations
17Tipp Moseley, Daniel A. Connors, Dirk Grunwald, Ramesh Peri Identifying potential parallelism via loop-centric profiling. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF loop profiling, parallelization
17Pierre Fransson, Lenka Carr-Motycková Loop-Free Link-State Routing. Search on Bibsonomy ICCCN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Konstantinos Kyriakopoulos, Anthony T. Chronopoulos, Lionel M. Ni An optimal scheduling scheme for tiling in distributed systems. Search on Bibsonomy CLUSTER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Aman Shaikh, Rohit Dube, Anujan Varma Avoiding instability during graceful shutdown of multiple OSPF routers. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hitless upgrade, intra-domain routing, network maintenance, routing, OSPF
17Richard Gault, Iain A. Stewart An Infinite Hierarchy in a Class of Polynomial-Time Program Schemes. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Howard Bowman, Rodolfo Gómez 0001 How to stop time stopping. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Zeno-timelocks, Non-zenoness conditions, Model checking, Timed automata
17Kuang-che Wu, Shun-chin Hsu, Tsan-sheng Hsu The Graph-History Interaction Problem in Chinese Chess. Search on Bibsonomy ACG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Tobias Gedell, Reiner Hähnle Verification by Parallelization of Parametric Code. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17D. Kebbal Automatic Flow Analysis Using Symbolic Execution and Path Enumeration. Search on Bibsonomy ICPP Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems
17Jeanne Bickford, Jason Hibbeler, Markus Bühler, Jürgen Koehl, Dirk Müller 0003, Sven Peyer, Christian Schulte 0002 Yield Improvement by Local Wiring Redundancy. Search on Bibsonomy ISQED The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Ayon Basumallik, Rudolf Eigenmann Optimizing irregular shared-memory applications for distributed-memory systems. Search on Bibsonomy PPoPP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computation-communication overlap, iteration reordering, performance, MPI, OpenMP, compiler techniques
17Eric Hung-Yu Tseng, Jean-Luc Gaudiot Automatic Array Partitioning Based on the Smith Normal Form. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Data partitioning, communication optimization, parallel loop, Smith-normal-form
17Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam Interprocedural parallelization analysis in SUIF. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parallelization, symbolic analysis, Data dependence analysis, interprocedural data-flow analysis
17Mary Poppendieck, Tom Poppendieck Introduction to Lean Software Development. Search on Bibsonomy XP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Won So, Alexander G. Dean Complementing software pipelining with software thread integration. Search on Bibsonomy LCTES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF TI C6000, DSP, software pipelining, VLIW, stream programming, coarse-grain parallelism, software thread integration
17Arun Kejariwal, Alexandru Nicolau An Efficient Load Balancing Scheme for Grid-based High Performance Scientific Computing. Search on Bibsonomy ISPDC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Peng Wu 0001, Alexandre E. Eichenberger, Amy Wang Efficient SIMD Code Generation for Runtime Alignment and Length Conversion. Search on Bibsonomy CGO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Frank te Beest, Ad M. G. Peeters A Multiplexor Based Test Method for Self-Timed Circuits. Search on Bibsonomy ASYNC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #401 - #500 of 5152 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][>>]
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