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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops, EDBT 2002 Workshops XMLDM, MDDE, and YRWS, Prague, Czech Republic, March 24-28, 2002, Revised Papers, pp. 484-500, 2002, Springer, 3-540-00130-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings, pp. 638-649, 2007, Springer, 978-3-540-72030-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
61 | Michael P. Holmes, Charles Lee Isbell Jr. |
Looping suffix tree-based inference of partially observable hidden state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Third International Conference (ICML 2006), Pittsburgh, Pennsylvania, USA, June 25-29, 2006, pp. 409-416, 2006, ACM, 1-59593-383-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
60 | Paul Walton Purdom Jr. |
Detecting Looping Simplifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings, pp. 54-61, 1987, Springer, 3-540-17220-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 462-471, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Multimedia File System, Looping Reference, Buffer Cache |
48 | Pasquale Malacaria |
Assessing security threats of looping constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 225-235, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 93-107, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Shuvra S. Bhattacharyya, Edward A. Lee |
Scheduling synchronous dataflow graphs for efficient looping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 6(3), pp. 271-288, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
43 | Jörg Endrullis, Hans Zantema |
Proving Looping and Non-Looping Non-Termination by Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.00478, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
43 | Robert S. Streett |
Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic of Programs ![In: Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings, pp. 359-372, 1985, Springer, 3-540-15648-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
38 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulations in calculi modelling membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 351-377, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(8), pp. 1015-1031, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(9), pp. 946-957, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 4th Working Conference on Reverse Engineering, WCRE '97, Amsterdam, The Netherlands, October 6-8, 1997, pp. 226-235, 1997, IEEE Computer Society, 0-8186-8162-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(3), pp. 227-232, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 387-423, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
The Calculus of Looping Sequences for Modeling Biological Membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, pp. 54-76, 2007, Springer, 978-3-540-77311-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Nikolaos Kavvadias, Spiridon Nikolaidis 0001 |
A portable specification of zero-overhead looping control hardware applied to embedded processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSOM ![In: Ambient Networks, 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings, pp. 269-280, 2005, Springer, 3-540-29388-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Dan Pei, Xiaoliang Zhao, Daniel Massey, Lixia Zhang 0001 |
A Study of BGP Path Vector Route Looping Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 24th International Conference on Distributed Computing Systems (ICDCS 2004), 24-26 March 2004, Hachioji, Tokyo, Japan, pp. 720-729, 2004, IEEE Computer Society, 0-7695-2086-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Steve Haynal, Forrest Brewer |
Automata-Based Symbolic Scheduling for Looping DFGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(3), pp. 250-267, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings, pp. 88-96, 2001, IEEE Computer Society, 0-7695-1287-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Steve Haynal, Forrest Brewer |
Representing and Scheduling Looping Behavior Symbolically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, ICCD '00, Austin, Texas, USA, September 17-20, 2000, pp. 552-555, 2000, IEEE Computer Society, 0-7695-0801-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Nikolaos Kavvadias, Spiridon Nikolaidis 0001 |
Elimination of Overhead Operations in Complex Loop Structures for Embedded Microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(2), pp. 200-214, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(6-2), pp. 3126-3138, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUM ![In: Proceedings of the 5th International Conference on Mobile and Ubiquitous Multimedia, MUM 2006, Stanford, California, USA, December 4-6, 2006, pp. 1, 2006, ACM, 1-59593-607-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 2006 IEEE International Conference on Application-Specific Systems, Architecture and Processors (ASAP 2006), 11-13 September 2006, Steamboat Springs, Colorado, USA, pp. 223-230, 2006, IEEE Computer Society, 0-7695-2682-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jirí Srba |
On Counting the Number of Consistent Genotype Assignments for Pedigrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, pp. 470-482, 2005, Springer, 3-540-30495-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Ralf Küsters, Thomas Wilke |
Automata-Based Analysis of Recursive Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pp. 382-393, 2004, Springer, 3-540-21236-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Alfons Geser |
Loops of Superexponential Lengths in One-Rule String Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 267-280, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers, pp. 101-114, 2001, Springer, 3-540-00400-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Mike J. G. Lewis, L. E. M. Brackenbury |
An Instruction Buffer for a Low-Power DSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2-6 April 2000, Eilat, Israel, pp. 176-, 2000, IEEE Computer Society, 0-7695-0586-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Bojanic |
Local number portability GTT node provisioning process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 758-764, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures & Protocols, SIGCOMM 1989, Austin, TX, USA, September 19-22, 1989, pp. 224-236, 1989, ACM, 0-89791-332-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Bala Rajagopalan, Michael Faiman |
A New Responsive Distributed Shortest-Path Rounting Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures & Protocols, SIGCOMM 1989, Austin, TX, USA, September 19-22, 1989, pp. 237-246, 1989, ACM, 0-89791-332-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Clinton R. Foulk |
Macintosh assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 681, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Macintosh |
26 | Ashok K. Chandra |
Programming Primitives for Database Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981, pp. 50-62, 1981, ACM Press, 0-89791-029-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings, pp. 496-505, 2007, Springer, 978-3-540-72829-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(11), pp. 1270-1280, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: International Conference on Artificial Intelligence and Statistics, 2-4 May 2024, Palau de Congressos, Valencia, Spain., pp. 505-513, 2024, PMLR. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
22 | Mateusz Chilinski, Anup Kumar Halder, Dariusz Plewczynski |
Prediction of chromatin looping using deep hybrid learning (DHL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quant. Biol. ![In: Quant. Biol. 11(2), pp. 155-162, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Traub, Frederic Becker, Sebastian Otte, Martin V. Butz |
Looping LOCI: Developing Object Permanence from Videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.10372, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.17273, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Shivam Pande, Biplab Banerjee |
Self-supervision assisted multimodal remote sensing image classification with coupled self-looping convolution networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 164, pp. 1-20, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ankit Gangwal, Apoorva Thirupathi, Alessandro Brighente, Mauro Conti |
A First Look at Shill Looping in NFT Ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFS ![In: IEEE International Workshop on Information Forensics and Security, WIFS 2023, Nürnberg, Germany, December 4-7, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2491-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence - 10th International Conference, PReMI 2023, Kolkata, India, December 12-15, 2023, Proceedings, pp. 871-878, 2023, Springer, 978-3-031-45169-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jay Ryan Roldan, Dejan Milutinovic |
Suture Looping Task Pose Planner in a Constrained Surgical Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 106(4), pp. 78, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | David Beer |
The problem of researching a recursive society: Algorithms, data coils and the looping of the social. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Big Data Soc. ![In: Big Data Soc. 9(2), pp. 205395172211049, July 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 73(12), pp. 2640-2659, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR Spectr. ![In: OR Spectr. 44(1), pp. 179-224, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Rui Jin, Jianyu Yang |
Domain Adaptive Hand Pose Estimation Based on Self-Looping Adversarial Training Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(22), pp. 8843, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Audio Mostly Conference ![In: AM '22: AudioMostly 2022, St. Pölten, Austria, September 6 - 9, 2022, pp. 100-104, 2022, ACM, 978-1-4503-9701-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Tuomas Vesterinen |
Relativizing the Design: An Ameliorative Approach to the Looping Effects of Social Robots in Mental Healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robophilosophy ![In: Social Robots in Social Institutions - Proceedings of Robophilosophy 2022, Helsinki, Finland, August 16-19, 2022, pp. 702-707, 2022, IOS Press, 978-1-64368-374-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Shmuel Berman, Mark Santolucito |
Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.08724, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Anil Kumar Saini, Lee Spector |
Relationships between parent selection methods, looping constructs, and success rate in genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 22(4), pp. 495-509, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Giulia Bevilacqua, Pasquale Ciarletta, Alfio Quarteroni |
Morphomechanical Model of the Torsional C-Looping in the Embryonic Heart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 81(3), pp. 897-918, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 21th International Conference on New Interfaces for Musical Expression, NIME 2021, Shanghai, China, June 14-18, 2021, 2021, nime.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Gerard Roma, Pierre Alexandre Tremblay, Owen Green |
Graph-Based Audio Looping And Granulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAFx ![In: 24th International Conference on Digital Audio Effects, DAFx 2021, Vienna, Austria, September 8-10, 2021, pp. 253-259, 2021, IEEE, 978-3-200-08378-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Shmuel Berman |
Programming-by-example by programming-by-example: synthesis of looping programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion) ![In: SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17 - 22, 2021, Companion Volume, pp. 19-21, 2021, ACM, 978-1-4503-9088-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 134, pp. 106679, 2020. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Veh. Technol. Mag. ![In: IEEE Veh. Technol. Mag. 15(3), pp. 20-31, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image-Guided Procedures ![In: Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Houston, TX, USA, February 15-20, 2020, pp. 1131520, 2020, SPIE, 9781510633971. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.02731, 2019. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.01350, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Longjie Jia, Martijn Pistorius, Harry Zheng |
Dynamic Portfolio Optimization with Looping Contagion Risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Financial Math. ![In: SIAM J. Financial Math. 10(1), pp. 1-36, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 16(2), pp. 542-556, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE-Berlin ![In: 9th IEEE International Conference on Consumer Electronics, ICCE-Berlin 2019, Berlin, Germany, September 8-11, 2019, pp. 1-5, 2019, IEEE, 978-1-7281-2745-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Christopher D. Rosin |
Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 2362-2370, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiSec ![In: Proceedings of the 12th Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2019, Miami, Florida, USA, May 15-17, 2019., pp. 239-244, 2019, ACM, 978-1-4503-6726-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 116, pp. 521-538, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 113, pp. 222-239, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Christopher D. Rosin |
Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.10665, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Felix X.-F. Ye, Panos Stinis, Hong Qian |
Dynamic Looping of a Free-Draining Polymer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 78(1), pp. 104-123, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 105, pp. 237-245, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 99, pp. 82-95, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Yaroslav Pollak, Sarah Goldberg, Roee Amit |
A Looping-Based Model for Quenching Repression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 13(1), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | James Durrant, Gabriel J. Brostow |
Seam-hiding for Looping Videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVMP ![In: Proceedings of the 14th European Conference on Visual Media Production (CVMP 2017), London, United Kingdom, December 11-13, 2017, pp. 9:1-9:10, 2017, ACM, 978-1-4503-5329-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Fun Chan, Ka Kan Lo, Wai Yeung Chung |
Looping Pipelining approach to Knowledge Base Population in Optimized Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAC ![In: Proceedings of the 2017 Text Analysis Conference, TAC 2017, Gaithersburg, Maryland, USA, November 13-14, 2017, 2017, NIST. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 17th International Conference on New Interfaces for Musical Expression, NIME 2017, Aalborg University, Copenhagen, Denmark, May 15-18, 2017., pp. 87-92, 2017, nime.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 84, pp. 434-445, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 84, pp. 302-312, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Adrien Kassel, David B. Wilson 0002 |
The Looping Rate and Sandpile Density of Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 123(1), pp. 19-39, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 18(9), pp. 314, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | N. M. Sahri, Koji Okamura |
Collaborative Spoofing Detection and Mitigation - SDN Based Looping Authentication for DNS Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: 40th IEEE Annual Computer Software and Applications Conference, COMPSAC Workshops 2016, Atlanta, GA, USA, June 10-14, 2016, pp. 565-570, 2016, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Raymond R. Devillers, Hanna Klaudel |
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, pp. 140-156, 2016, Springer, 978-3-319-44877-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 31(23), pp. 3767-3772, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Tomofumi Hatakeyama, Hiromi Mochiyama |
Cooperative string looping by dual shooting manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIM ![In: IEEE International Conference on Advanced Intelligent Mechatronics, AIM 2015, Busan, South Korea, July 7-11, 2015, pp. 1096-1101, 2015, IEEE, 978-1-4673-9107-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015, Washington, DC, USA, November 9-12, 2015, pp. 97-100, 2015, IEEE Computer Society, 978-1-4673-6799-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Shahé Navasart Sanentz, Michael Lesk |
Toward a semantic stability index (SSI) via a preliminary exploration of translation looping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIST ![In: Information Science with Impact: Research in and for the Community - Proceedings of the 78th ASIS&T Annual Meeting, ASIST 2015, St. Louis, Missouri, Missouri, USA, October 6-10, 2015, pp. 1-4, 2015, Wiley. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | J. J. Garcia-Luna-Aceves |
Eliminating undetected interest looping in content-centric networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOF ![In: 6th International Conference on the Network of the Future, NOF 2015, Montreal, QC, Canada, September 30 - October 2, 2015, pp. 1-6, 2015, IEEE, 978-1-4673-8386-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Lei Han |
High-speed video analysis for kink formation in a bond wire looping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(12), pp. 2935-2943, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 10(10), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Lionel Levine, Yuval Peres |
The looping constant of ℤd. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Struct. Algorithms ![In: Random Struct. Algorithms 45(1), pp. 1-13, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Massa J. Shoura, Stephen D. Levene |
Understanding DNA Looping Through Cre-Recombination Kinetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discrete and Topological Models in Molecular Biology ![In: Discrete and Topological Models in Molecular Biology, pp. 405-418, 2014, Springer, 978-3-642-40192-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | André DeHon |
Wordwidth, instructions, looping, and virtualization: the role of sharing in absolute energy minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: The 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA '14, Monterey, CA, USA - February 26 - 28, 2014, pp. 189-198, 2014, ACM, 978-1-4503-2671-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Shenglin Zhang, Ying Liu 0024, Dan Pei |
A measurement study on BGP AS path looping (BAPL) behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: 23rd International Conference on Computer Communication and Networks, ICCCN 2014, Shanghai, China, August 4-7, 2014, pp. 1-7, 2014, IEEE, 978-1-4799-3572-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2014, Beijing, China, September 24-26, 2014, pp. 755-762, 2014, IEEE Computer Society, 978-1-4799-6513-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2013, pp. 462532:1-462532:12, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina |
Type Directed Semantics for the Calculus of Looping Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 7(4), pp. 501-526, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | Zicheng Liao, Neel Joshi, Hugues Hoppe |
Automated video looping with progressive dynamism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 32(4), pp. 77:1-77:10, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|