Search results for "FireWire"

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