Search results for "Looping"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Kyoungwoon Cho, Yeonseung Ryu, Youjip Won, Kern Koh	ABM: Looping Reference-Aware Cache Management Scheme for Media-on-Demand Server.	EDBT Workshops	2002	DBLP DOI BibTeX RDF	Looping reference, ABM, Multimedia, File System, LRU, Buffer Cache, Interval Caching
61	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo	Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.	ISBRA	2007	DBLP DOI BibTeX RDF
61	Michael P. Holmes, Charles Lee Isbell Jr.	Looping suffix tree-based inference of partially observable hidden state.	ICML	2006	DBLP DOI BibTeX RDF
60	Paul Walton Purdom Jr.	Detecting Looping Simplifications.	RTA	1987	DBLP DOI BibTeX RDF	Knuth-Bendix, Matching, Unification, Simplification, Looping, Rewrite rules
52	Yeonseung Ryu, Kyoungwoon Cho, Youjip Won, Kern Koh	Intelligent Buffer Cache Management in Multimedia Data Retrieval.	ISMIS	2002	DBLP DOI BibTeX RDF	Multimedia File System, Looping Reference, Buffer Cache
48	Pasquale Malacaria	Assessing security threats of looping constructs.	POPL	2007	DBLP DOI BibTeX RDF	security, information theory, language semantics
48	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulation Congruences in the Calculus of Looping Sequences.	ICTAC	2006	DBLP DOI BibTeX RDF
48	Shuvra S. Bhattacharyya, Edward A. Lee	Scheduling synchronous dataflow graphs for efficient looping.	J. VLSI Signal Process.	1993	DBLP DOI BibTeX RDF
43	Jörg Endrullis, Hans Zantema	Proving Looping and Non-Looping Non-Termination by Finite Automata.	CoRR	2015	DBLP BibTeX RDF
43	Robert S. Streett	Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping.	Logic of Programs	1985	DBLP DOI BibTeX RDF
38	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulations in calculi modelling membranes.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations
38	Deependra Talla, Lizy Kurian John, Doug Burger	Bottlenecks in Multimedia Processing with SIMD Style Extensions and Architectural Enhancements.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	bottlenecks in SIMD extensions, hardware address generation, low-overhead looping, superscalar general-purpose processors, performance evaluation, workload characterization, subword parallelism, Media processing, data reorganization
38	Seung-Woo Seo, Tse-Yun Feng, Hyoung-Il Lee	Permutation Realizability and Fault Tolerance Property of the Inside-Out Routing Algorithm.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Omega + Omega network, looping algorithm, inside-out routing algorithm, fault tolerance, Benes network, Rearrangeable networks
38	Francoise Balmas	Toward a Framework for Conceptual and Formal Outlines of Programs.	WCRE	1997	DBLP DOI BibTeX RDF	formal program outlines, conceptual program outlines, program re-documentation, computation localization, code role identification, PRISME system, automatic outline construction, Lisp looping functions, reverse specification, model, reverse engineering, debugging, program understanding, loops
38	Richard S. Wallace, Michael D. Howard	HBA Vision Architecture: Built and Benchmarked.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	vision architecture, hierarchical bus architecture, algorithmic benchmarks, local neighborhood operations, Apply, image-to-image transformations, floating-point coprocessors, computer vision, computer vision, parallel processing, parallel architectures, software tools, programming environment, programming environments, computerised picture processing, programming model, looping, boundary conditions
35	Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini	The Calculus of Looping Sequences.	SFM	2008	DBLP DOI BibTeX RDF
35	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	The Calculus of Looping Sequences for Modeling Biological Membranes.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
35	Nikolaos Kavvadias, Spiridon Nikolaidis 0001	A portable specification of zero-overhead looping control hardware applied to embedded processors.	ISCAS	2006	DBLP DOI BibTeX RDF
35	Nigel Sheridan-Smith, Tim O'Neill, John Leaney, Mark Hunter	Enhancements to Policy Distribution for Control Flow and Looping.	DSOM	2005	DBLP DOI BibTeX RDF
35	Dan Pei, Xiaoliang Zhao, Daniel Massey, Lixia Zhang 0001	A Study of BGP Path Vector Route Looping Behavior.	ICDCS	2004	DBLP DOI BibTeX RDF
35	Steve Haynal, Forrest Brewer	Automata-Based Symbolic Scheduling for Looping DFGs.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Scheduling, high-level synthesis, automata, Binary Decision Diagrams, nondeterminism, loop pipelining, symbolic model
35	Jian Zhang 0001	A Path-Based Approach to the Detection of Infinite Looping.	APAQS	2001	DBLP DOI BibTeX RDF
35	Steve Haynal, Forrest Brewer	Representing and Scheduling Looping Behavior Symbolically.	ICCD	2000	DBLP DOI BibTeX RDF
26	Nikolaos Kavvadias, Spiridon Nikolaidis 0001	Elimination of Overhead Operations in Complex Loop Structures for Embedded Microprocessors.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Optimization, Microprocessors, Hardware description languages, Real-time and embedded systems, Pipeline processors, Control design
26	Ming-Yung Ko, Claudiu Zissulescu, Sebastian Puthenpurayil, Shuvra S. Bhattacharyya, Bart Kienhuis, Ed F. Deprettere	Parameterized Looped Schedules for Compact Representation of Execution Sequences in DSP Hardware and Software Implementation.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
26	Timo A. Kosonen, Antti J. Eronen	Rhythm metadata enabled intra-track navigation and content modification in a music player.	MUM	2006	DBLP DOI BibTeX RDF	beat tracking, musical form, musical measures, musical meter analysis, browsing, rhythm, interactive music
26	Ming-Yung Ko, Claudiu Zissulescu, Sebastian Puthenpurayil	Parameterized Looped Schedules for Compact Representationof Execution Sequences.	ASAP	2006	DBLP DOI BibTeX RDF
26	Jirí Srba	On Counting the Number of Consistent Genotype Assignments for Pedigrees.	FSTTCS	2005	DBLP DOI BibTeX RDF
26	Ralf Küsters, Thomas Wilke	Automata-Based Analysis of Recursive Cryptographic Protocols.	STACS	2004	DBLP DOI BibTeX RDF
26	Alfons Geser	Loops of Superexponential Lengths in One-Rule String Rewriting.	RTA	2002	DBLP DOI BibTeX RDF	uniform termination, one-rule, single-rule Submission category: Regular research paper, termination, loop, string rewriting, semi-Thue system
26	Jacques Farré, José Fortes Gálvez	Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers.	CIAA	2001	DBLP DOI BibTeX RDF
26	Mike J. G. Lewis, L. E. M. Brackenbury	An Instruction Buffer for a Low-Power DSP.	ASYNC	2000	DBLP DOI BibTeX RDF
26	Alexander Bojanic	Local number portability GTT node provisioning process.	NOMS	1998	DBLP DOI BibTeX RDF
26	C. Cheng, R. Riley, Srikanta P. R. Kumar, J. J. Garcia-Luna-Aceves	A Loop-Free Extended Bellman-Ford Routing Protocol Without Bouncing Effect.	SIGCOMM	1989	DBLP DOI BibTeX RDF
26	Bala Rajagopalan, Michael Faiman	A New Responsive Distributed Shortest-Path Rounting Algorithm.	SIGCOMM	1989	DBLP DOI BibTeX RDF
26	Clinton R. Foulk	Macintosh assembly language.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Macintosh
26	Ashok K. Chandra	Programming Primitives for Database Languages.	POPL	1981	DBLP DOI BibTeX RDF
25	Doohee Nam, Seongil Shin, Changho Choi, Yongtaek Lim, Seung Jae Lee	An Algorithm for Loopless Optimum Paths Finding Agent System and Its Application to Multimodal Public Transit Network.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	optimum path agent, Loopless path, Looping path, Network Transform, Mode-Link Transformation, Link Loopless path, K shortest Path
25	Tse-Yun Feng, Seung-Woo Seo	A New Routing Algorithm for a Class of Rearrangeable Networks.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	butterfly connections, symmetric networks, looping algorithm, center-stage connection patterns, topological equivalence, interchangeable group, destination-tag scheme, multiprocessor interconnection networks, routing algorithm, reconfigurable architectures, multistage interconnection networks, network routing, Omega networks, rearrangeable networks
22	Masaki Adachi, Brady Planden, David A. Howey, Michael A. Osborne, Sebastian Orbell, Natalia Ares, Krikamol Muandet, Siu Lun Chau	Looping in the Human: Collaborative and Explainable Bayesian Optimization.	AISTATS	2024	DBLP BibTeX RDF
22	Mateusz Chilinski, Anup Kumar Halder, Dariusz Plewczynski	Prediction of chromatin looping using deep hybrid learning (DHL).	Quant. Biol.	2023	DBLP DOI BibTeX RDF
22	Manuel Traub, Frederic Becker, Sebastian Otte, Martin V. Butz	Looping LOCI: Developing Object Permanence from Videos.	CoRR	2023	DBLP DOI BibTeX RDF
22	Masaki Adachi, Brady Planden, David A. Howey, Krikamol Muandet, Michael A. Osborne, Siu Lun Chau	Looping in the Human: Collaborative and Explainable Bayesian Optimization.	CoRR	2023	DBLP DOI BibTeX RDF
22	Shivam Pande, Biplab Banerjee	Self-supervision assisted multimodal remote sensing image classification with coupled self-looping convolution networks.	Neural Networks	2023	DBLP DOI BibTeX RDF
22	Ankit Gangwal, Apoorva Thirupathi, Alessandro Brighente, Mauro Conti	A First Look at Shill Looping in NFT Ecosystem.	WIFS	2023	DBLP DOI BibTeX RDF
22	Anup Kumar Halder, Abhishek Agarwal, Sevastianos Korsak, Karolina Jodkowska, Dariusz Plewczynski	ccLoopER: Deep Prediction of CTCF and cohesin Mediated Chromatin looping Using DNA Transformer Model.	PReMI	2023	DBLP DOI BibTeX RDF
22	Jay Ryan Roldan, Dejan Milutinovic	Suture Looping Task Pose Planner in a Constrained Surgical Environment.	J. Intell. Robotic Syst.	2022	DBLP DOI BibTeX RDF
22	David Beer	The problem of researching a recursive society: Algorithms, data coils and the looping of the social.	Big Data Soc.	2022	DBLP DOI BibTeX RDF
22	William Jones 0002, Kathy Kotiadis, Jesse R. O'Hanley	Maximising stakeholder learning by looping again through the simulation life-cycle: A case study in public transport.	J. Oper. Res. Soc.	2022	DBLP DOI BibTeX RDF
22	Ralf Lenz, Kai Helge Becker	Optimization of capacity expansion in potential-driven networks including multiple looping: a comparison of modelling approaches.	OR Spectr.	2022	DBLP DOI BibTeX RDF
22	Rui Jin, Jianyu Yang	Domain Adaptive Hand Pose Estimation Based on Self-Looping Adversarial Training Strategy.	Sensors	2022	DBLP DOI BibTeX RDF
22	César de Almeida Braga, Cesar Adriano Traldi	Harmonic Anamorphism in an Interactive Improvisation: A live looping technique using DAW Reaper to combine timelines and phase-shifting in popular piano music.	Audio Mostly Conference	2022	DBLP DOI BibTeX RDF
22	Tuomas Vesterinen	Relativizing the Design: An Ameliorative Approach to the Looping Effects of Social Robots in Mental Healthcare.	Robophilosophy	2022	DBLP DOI BibTeX RDF
22	Shmuel Berman, Mark Santolucito	Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs.	CoRR	2021	DBLP BibTeX RDF
22	Anil Kumar Saini, Lee Spector	Relationships between parent selection methods, looping constructs, and success rate in genetic programming.	Genet. Program. Evolvable Mach.	2021	DBLP DOI BibTeX RDF
22	Giulia Bevilacqua, Pasquale Ciarletta, Alfio Quarteroni	Morphomechanical Model of the Torsional C-Looping in the Embryonic Heart.	SIAM J. Appl. Math.	2021	DBLP DOI BibTeX RDF
22	Christian Frisson, Mathias Bredholt, Joseph W. Malloch, Marcelo M. Wanderley	MapLooper: Live-looping of distributed gesture-to-sound mappings.	NIME	2021	DBLP DOI BibTeX RDF
22	Gerard Roma, Pierre Alexandre Tremblay, Owen Green	Graph-Based Audio Looping And Granulation.	DAFx	2021	DBLP DOI BibTeX RDF
22	Shmuel Berman	Programming-by-example by programming-by-example: synthesis of looping programs.	SPLASH (Companion)	2021	DBLP DOI BibTeX RDF
22	Miguel Abreu, Paula Teixeira, Rui M. Filipe, Luís Domingues, Carla I. C. Pinheiro, Henrique A. Matos	Modeling the deactivation of CaO-based sorbents during multiple Ca-looping cycles for CO2 post-combustion capture.	Comput. Chem. Eng.	2020	DBLP DOI BibTeX RDF
22	Andreas I. Miaoudakis, Konstantinos Fysarakis, Nikolaos E. Petroulakis, Sofia Alexaki, George Alexandirs, Sotiris Ioannidis, George Spanoudakis, Vasilis Katos, Christos V. Verikoukis	Pairing a Circular Economy and the 5G-Enabled Internet of Things: Creating a Class of ?Looping Smart Assets?	IEEE Veh. Technol. Mag.	2020	DBLP DOI BibTeX RDF
22	Adam Kenet, Eashwar Mahadevan, Sanjay Elangovan, Justin Yan, Kamran Siddiq, Simon Liu, Amrita Ladwa, Roshini Narayanan, Jessica Dakkak, Thomas Benassi, Kenneth Ng, Amir Manbachi	Flexible piezoelectric sensor for real-time image-guided colonoscopies: a solution to endoscopic looping challenges in clinic.	Medical Imaging: Image-Guided Procedures	2020	DBLP DOI BibTeX RDF
22	Sergey Goncharov 0002, Sergey Ospichev, Denis K. Ponomaryov, Dmitri Ivanovich Sviridenko	The Expressiveness of Looping Terms in the Semantic Programming.	CoRR	2019	DBLP BibTeX RDF
22	Nitya Lakshmanan, Inkyu Bang, Min Suk Kang, Jun Han 0001, Jong Taek Lee	SurFi: Detecting Surveillance Camera Looping Attacks with Wi-Fi Channel State Information (Extended Version).	CoRR	2019	DBLP BibTeX RDF
22	Longjie Jia, Martijn Pistorius, Harry Zheng	Dynamic Portfolio Optimization with Looping Contagion Risk.	SIAM J. Financial Math.	2019	DBLP DOI BibTeX RDF
22	Bo Lu, Henry Kar Hang Chu, Kaicheng Huang, Li Cheng 0002	Vision-Based Surgical Suture Looping Through Trajectory Planning for Wound Suturing.	IEEE Trans Autom. Sci. Eng.	2019	DBLP DOI BibTeX RDF
22	Alshaima Q. Al-Khafaji, Mohammed Falih Al-Gailani, Hikmat N. Abdullah	FPGA Design and Implementation of an AES Algorithm based on Iterative Looping Architecture.	ICCE-Berlin	2019	DBLP DOI BibTeX RDF
22	Christopher D. Rosin	Stepping Stones to Inductive Synthesis of Low-Level Looping Programs.	AAAI	2019	DBLP DOI BibTeX RDF
22	Nitya Lakshmanan, Inkyu Bang, Min Suk Kang, Jun Han 0001, Jong Taek Lee	SurFi: detecting surveillance camera looping attacks with wi-fi channel state information.	WiSec	2019	DBLP DOI BibTeX RDF
22	William W. Tso, Alexander M. Niziolek, Onur Onel, C. Doga Demirhan, Christodoulos A. Floudas, Efstratios N. Pistikopoulos	Reprint of: Enhancing natural gas-to-liquids (GTL) processes through chemical looping for syngas production: Process synthesis and global optimization.	Comput. Chem. Eng.	2018	DBLP DOI BibTeX RDF
22	William W. Tso, Alexander M. Niziolek, Onur Onel, C. Doga Demirhan, Christodoulos A. Floudas, Efstratios N. Pistikopoulos	Enhancing natural gas-to-liquids (GTL) processes through chemical looping for syngas production: Process synthesis and global optimization.	Comput. Chem. Eng.	2018	DBLP DOI BibTeX RDF
22	Christopher D. Rosin	Stepping Stones to Inductive Synthesis of Low-Level Looping Programs.	CoRR	2018	DBLP BibTeX RDF
22	Felix X.-F. Ye, Panos Stinis, Hong Qian	Dynamic Looping of a Free-Draining Polymer.	SIAM J. Appl. Math.	2018	DBLP DOI BibTeX RDF
22	Agachon Phuluanglue, Watcharapong Khaodee, Suttichai Assabumrungrat	Simulation of intensified process of sorption enhanced chemical-looping reforming of methane: Comparison with conventional processes.	Comput. Chem. Eng.	2017	DBLP DOI BibTeX RDF
22	Luming Chen, Xiaogang Yang, Guang Li, Xia Li, Colin Snape	Prediction of bubble fluidisation during chemical looping combustion using CFD simulation.	Comput. Chem. Eng.	2017	DBLP DOI BibTeX RDF
22	Yaroslav Pollak, Sarah Goldberg, Roee Amit	A Looping-Based Model for Quenching Repression.	PLoS Comput. Biol.	2017	DBLP DOI BibTeX RDF
22	James Durrant, Gabriel J. Brostow	Seam-hiding for Looping Videos.	CVMP	2017	DBLP DOI BibTeX RDF
22	Fun Chan, Ka Kan Lo, Wai Yeung Chung	Looping Pipelining approach to Knowledge Base Population in Optimized Implementation.	TAC	2017	DBLP BibTeX RDF
22	Jerônimo Barbosa, Marcelo M. Wanderley, Stéphane Huot	Exploring playfulness in nime design: the case of live looping tools.	NIME	2017	DBLP DOI BibTeX RDF
22	Moises A. Petriz-Prieto, Vicente Rico-Ramírez, Guillermo Gonzalez-Alatorre, Fernando Israel Gómez-Castro, Urmila M. Diwekar	A comparative simulation study of power generation plants involving chemical looping combustion systems.	Comput. Chem. Eng.	2016	DBLP DOI BibTeX RDF
22	Lin Zhu, Zheng Zhang, Junming Fan, Peng Jiang	Polygeneration of hydrogen and power based on coal gasification integrated with a dual chemical looping process: Thermodynamic investigation.	Comput. Chem. Eng.	2016	DBLP DOI BibTeX RDF
22	Adrien Kassel, David B. Wilson 0002	The Looping Rate and Sandpile Density of Planar Graphs.	Am. Math. Mon.	2016	DBLP BibTeX RDF
22	Álvaro Urdiales Montesino, Ángel Jiménez Alvaro, Javier Rodríguez Martín, Rafael Nieto Carlier	Exergy Analysis of a Syngas-Fueled Combined Cycle with Chemical-Looping Combustion and CO2 Sequestration.	Entropy	2016	DBLP DOI BibTeX RDF
22	N. M. Sahri, Koji Okamura	Collaborative Spoofing Detection and Mitigation - SDN Based Looping Authentication for DNS Services.	COMPSAC Workshops	2016	DBLP DOI BibTeX RDF
22	Raymond R. Devillers, Hanna Klaudel	Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata.	FORMATS	2016	DBLP DOI BibTeX RDF
22	Mario Abdel Messih, Rosalba Lepore, Anna Tramontano	LoopIng: a template-based tool for predicting the structure of protein loops.	Bioinform.	2015	DBLP DOI BibTeX RDF
22	Tomofumi Hatakeyama, Hiromi Mochiyama	Cooperative string looping by dual shooting manipulation.	AIM	2015	DBLP DOI BibTeX RDF
22	Tengpeng Li, Changsheng Zhang 0002, Bo Xu, Hongmin Cai, Fuqiang Li	MALBACsim: A Multiple Annealing and Looping Based Amplification Cycles simulator.	BIBM	2015	DBLP DOI BibTeX RDF
22	Shahé Navasart Sanentz, Michael Lesk	Toward a semantic stability index (SSI) via a preliminary exploration of translation looping.	ASIST	2015	DBLP DOI BibTeX RDF
22	J. J. Garcia-Luna-Aceves	Eliminating undetected interest looping in content-centric networks.	NOF	2015	DBLP DOI BibTeX RDF
22	Lei Han	High-speed video analysis for kink formation in a bond wire looping.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
22	Mariliis Tark-Dame, Hansjoerg Jerabek, Erik M. M. Manders, Dieter W. Heermann, Roel van Driel	Depletion of the Chromatin Looping Proteins CTCF and Cohesin Causes Chromatin Compaction: Insight into Chromatin Folding by Polymer Modelling.	PLoS Comput. Biol.	2014	DBLP DOI BibTeX RDF
22	Lionel Levine, Yuval Peres	The looping constant of ℤd.	Random Struct. Algorithms	2014	DBLP DOI BibTeX RDF
22	Massa J. Shoura, Stephen D. Levene	Understanding DNA Looping Through Cre-Recombination Kinetics.	Discrete and Topological Models in Molecular Biology	2014	DBLP DOI BibTeX RDF
22	André DeHon	Wordwidth, instructions, looping, and virtualization: the role of sharing in absolute energy minimization.	FPGA	2014	DBLP DOI BibTeX RDF
22	Shenglin Zhang, Ying Liu 0024, Dan Pei	A measurement study on BGP AS path looping (BAPL) behavior.	ICCCN	2014	DBLP DOI BibTeX RDF
22	Chun-Yu Wang, Tzu-Li Tai, Kuan-Chieh Huang, Tse-En Liu, Jyh-Biau Chang, Ce-Kuen Shieh	FedLoop: Looping on Federated MapReduce.	TrustCom	2014	DBLP DOI BibTeX RDF
22	Rui Wang 0019, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang 0001	Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
22	Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina	Type Directed Semantics for the Calculus of Looping Sequences.	Int. J. Softw. Informatics	2013	DBLP BibTeX RDF
22	Zicheng Liao, Neel Joshi, Hugues Hoppe	Automated video looping with progressive dynamism.	ACM Trans. Graph.	2013	DBLP DOI BibTeX RDF