The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1998-2003 (24) 2004-2006 (16) 2007-2013 (15) 2014-2015 (2)
Publication types (Num. hits)
article(15) inproceedings(42)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 53 occurrences of 36 keywords

Results
Found 57 publication records. Showing 57 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
99Lee Melatti, Barry Blancha Testing Methodology for FireWire. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
82Vijay Chandramohan, Kenneth J. Christensen Design and Performance Evaluation of a New Spatial Reuse FireWire Protocol. Search on Bibsonomy LCN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
79Kurt L. Keville, Robert Tompkin IEEE 1394 and RFC 2734; a viable HSI for hypercubes. Search on Bibsonomy CLUSTER The full citation details ... 2001 DBLP  DOI  BibTeX  RDF RFC 2734, Cluster, hypercube, IEEE 1394, FireWire
74Viktor Schuppan, Armin Biere Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF IEEE 1394 FireWire, Model checking, Formal methods, Protocol verification
74Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Timed automata, Probabilistic model checking, IEEE standard, FireWire
69Damien Aumaitre A little journey inside Windows memory. Search on Bibsonomy J. Comput. Virol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
64Luis Ruiz, Philippe Dallemagne, Jean-Dominique Decotignie Using Firewire as Industrial Network. Search on Bibsonomy SCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
47Muffy Calder, Alice Miller 0001 Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Model checking, Formal verification, SPIN
47Mihaela Sighireanu, Radu Mateescu 0001 Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
45Hani Akeila, John Morris High Resolution Stereo in Real Time. Search on Bibsonomy RobVis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Real-Time rectification, high resolution stereo, FireWire
35Nicolae Goga, Judi Romijn Guiding Spin Simulation. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Long Qian, Zihan Chen, Peter Kazanzides An Ethernet to FireWire bridge for real-time control of the da Vinci Research Kit (dVRK). Search on Bibsonomy ETFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Zihan Chen, Peter Kazanzides Multi-kilohertz control of multiple robots via IEEE-1394 (firewire). Search on Bibsonomy TePRA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
30John Kennedy Schettino de Souza, Marcos Antonio da Silva Pinto, Pedro Gabrielle Vieira, Jerome Baron, Carlos Julio Tierra-Criollo An open-source, FireWire camera-based, Labview-controlled image acquisition system for automated, dynamic pupillometry and blink detection. Search on Bibsonomy Comput. Methods Programs Biomed. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
30Lei Zhang, Lianhai Wang, Ruichao Zhang, Shuhui Zhang, Yang Zhou Live Memory Acquisition through FireWire. Search on Bibsonomy e-Forensics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Pavel Gladyshev, Afrah Almansoori Reliable Acquisition of RAM Dumps from Intel-Based Apple Mac Computers over FireWire. Search on Bibsonomy ICDF2C The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Peter Hannay, Andrew Woodward Firewire Forensics in Modern Operating Systems. Search on Bibsonomy Security and Management The full citation details ... 2009 DBLP  BibTeX  RDF
30Andrew Woodward, Peter Hannay Forensic Implications of Using the Firewire Memory Exploit with Microsoft Windows XP. Search on Bibsonomy Security and Management The full citation details ... 2008 DBLP  BibTeX  RDF
30Andreas Rehkopf, Johannes Weber, Hans-Detlef Groeger Why IEEE 1394 ("FireWire") might not be a perfect choice for factory automation today - a case study from the printing industry. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Omar S. Elkeelany, Ghulam M. Chaudhry Integrating firewire peripheral interface with an ethernet custom network processor. Search on Bibsonomy Integr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Mariëlle Stoelinga Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Applied formal methods, Leader election algorithms, Parameter synthesis, Real time, Network protocols, Probabilistic algorithms, IEEE standards
30Izak van Langevelde, Judi Romijn, Nicolae Goga Founding FireWire Bridges through Promela Prototyping. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Carron Shankland, Alberto Verdejo A case study in abstraction using E-LOTOS and the FireWire. Search on Bibsonomy Comput. Networks The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Michael Scholles, Klaus Frommhagen, Ljudmila Kleinmann, Petra Nauber, Uwe Schelinski IEEE 1394 "FireWire" system design for industrial and factory automation applications. Search on Bibsonomy ETFA (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Katsushi Kobayashi Design and Implementation of a Firewire Device Driver on FreeBSD. Search on Bibsonomy USENIX Annual Technical Conference, FREENIX Track The full citation details ... 1999 DBLP  BibTeX  RDF
30Charles R. Severance FireWire Finally Comes Home. Search on Bibsonomy Computer The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Anders Kjær-Nielsen, Lars Baunegaard With Jensen, Anders Stengaard Sørensen, Norbert Krüger A Real-Time Embedded System for Stereo Vision Preprocessing Using an FPGA. Search on Bibsonomy ReConFig The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Stereo Vision Preprocessing, 1394a, FPGA, Real-time, Embedded, FireWire
27Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Forwards reachability, Timed automata, Probabilistic model checking, IEEE standard, FireWire
17Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn Scalable Shape Analysis for Systems Code. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang Shape Analysis for Composite Data Structures. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17David R. Piegdon, Lexi Pimenidis Targeting Physically Addressable Memory. Search on Bibsonomy DIMVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Wilfried Kubinger, Franz Rinnerthaler, Christoph Sulzbachner, Josef Langer, Martin Humenberger An Embedded Vision Sensor for Robot Soccer. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Embedded Vision System, Field-programmable Gate Array (FPGA), Digital Signal Processor (DSP), Robot Soccer
17António J. R. Neves, Gustavo A. Corrente, Armando J. Pinho An Omnidirectional Vision System for Soccer Robots. Search on Bibsonomy EPIA Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF computer vision, Robotics, object recognition, robotic soccer, omnidirectional vision, color classification
17Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance analysis of probabilistic timed automata using digital clocks. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed automata, Probabilistic model checking, Digital clocks
17Darius Burschka Robust Feature Correspondences for Vision-Based Navigation with Slow Frame-Rate Cameras. Search on Bibsonomy IROS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Emmanuel C. Dean-Leon, Vicente Parra-Vega, Arturo Espinosa-Romero Global Uncalibrated Visual Servoing for Constrained Robots Working on an Uncalibrated Environments. Search on Bibsonomy IROS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Ittai Balaban, Amir Pnueli, Lenore D. Zuck Invisible Safety of Distributed Protocols. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Jérémie Allard, Jean-Sébastien Franco, Clément Ménier, Edmond Boyer, Bruno Raffin The GrImage Platform: A Mixed Reality Environment for Interactions. Search on Bibsonomy ICVS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Daniel Cotting, Markus H. Gross Interactive environment-aware display bubbles. Search on Bibsonomy UIST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF imperceptible structured light, interaction, tabletop, projectors, focus and context, adaptive displays
17Birger Streckel, Jan-Friso Evers-Senne, Reinhard Koch Lens Model Selection for a Markerless AR Tracking System. Search on Bibsonomy ISMAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Olivier Bezet, Véronique Berge-Cherfaoui On-Line Timestamping Synchronization in Distributed Sensor Architectures. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Jan Kiszka, Bernardo Wagner RTnet - a flexible hard real-time networking framework. Search on Bibsonomy ETFA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Jay Abraham, Guruprasad Rao Qualification and Integration of Complex I/O in SoC Design Flows. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Satoshi Yonemoto, Rin-Ichiro Taniguchi Human Figure Control Software for Real-Virtual Application. Search on Bibsonomy IV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Satoshi Kagami, Hiroshi Mizoguchi, Yuki Tamai, Takeo Kanade Microphone Array for 2D Sound Localization and Capture. Search on Bibsonomy ISER The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang Symbolic Model Checking for Probabilistic Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Judi Romijn False Loop Detection in the IEEE 1394 Tree Identify Phase. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Loop detection, Algorithm, Verification, Real-time, Protocol, Timed automata, Spanning tree, Dynamic network
17Petr Doubek, Tomás Svoboda, Luc Van Gool Monkeys -- A Software Architecture for ViRoom -- Low-Cost Multicamera System. Search on Bibsonomy ICVS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Pedro A. Revenga, Jocelyn Sérot, José Luis Lázaro, Jean-Pierre Dérutin A Beowulf-Class Architecture Proposal for Real-Time Embedded Vision. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Ashraf Saad, Donnie Smith An IEEE 1394-Firewall-Based Embedded Video System for Surveillance Applications. Search on Bibsonomy AVSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Annabelle McIver, Carroll Morgan, Thai Son Hoang Probabilistic Termination in B. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Michele Hinnrichs Hand Held Imaging Spectrometer. Search on Bibsonomy AIPR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson SMC: a symmetry-based model checker for verification of safety and liveness properties. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, automata
17Brian D. Winters, Alan J. Hu Source-Level Transformations for Improved Formal Verification. Search on Bibsonomy ICCD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17John Kelsey, Bruce Schneier, David A. Wagner 0001 Mod n Cryptanalysis, with Applications Against RC5P and M6. Search on Bibsonomy FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Mariëlle Stoelinga, Frits W. Vaandrager Root Contention in IEEE 1394. Search on Bibsonomy ARTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #57 of 57 (100 per page; Change: )
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