Search results for "1394a"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini	Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.	RTCSA	2000	DBLP DOI BibTeX RDF	IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification
53	Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva	Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic.	TACAS	2004	DBLP DOI BibTeX RDF	IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification
53	S. L. Lin, S. Mourad, S. Krishnan	A BIST methodology for at-speed testing of data communications transceivers.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	data communication equipment, telecommunication equipment testing, BIST methodology, data communications transceivers, data communications chip, 3-port IEEE 1394a system, CMOS implementation, 0.35 micron, 400 Mbit/s, built-in self test, integrated circuit testing, automatic testing, functional testing, CMOS integrated circuits, at-speed testing, transceivers
37	Michal Sawicki, Andrzej Kwiecien	The Method of Isochronous Cycle Duration Measurement for Serial Interface IEEE 1394A.	CN	2018	DBLP DOI BibTeX RDF
37	Timur Mirzoev	Analysis of Computer Hardware Affecting Video Transmission via IEEE 1394a connection.	CoRR	2014	DBLP BibTeX RDF
37	Colin Yu Lin, Song Cao, Junshe An, Fei Han, Qifei Fan	A Network Based Functional Verification Method of IEEE 1394a PHY Core.	ISVLSI	2008	DBLP DOI BibTeX RDF
37	David P. L. Simons, Mariëlle Stoelinga	Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Leader election algorithms, Model checking, Timed automata, Communication protocol, IEEE 1394
28	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
28	Colin J. Fidge, Carron Shankland	But What if I Don't Want to Wait Forever?	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	IEEE 1394a, Verification, Formal specification, Probabilistic reasoning, IEEE 1394
25	Do Hyoung Kim, Do-Yoon Kim, Myung Jin Chung	An active vision system with facial expressions.	ICARCV	2004	DBLP DOI BibTeX RDF
25	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
25	San Lin, Samiha Mourad, Shoba Krishnan	At-speed testing of data communications transceivers.	ISCAS (4)	2001	DBLP DOI BibTeX RDF