Search results for "DSPIN"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
190	Ivan Miro Panades, Fabien Clermidy, Pascal Vivet, Alain Greiner	Physical Implementation of the DSPIN Network-on-Chip in the FAUST Architecture.	NOCS	2008	DBLP DOI BibTeX RDF	DSPIN, ANOC, physical implementation, FAUST, bi-synchronous FIFO, network-on-chip, NoC
56	Zhen Zhang, Alain Greiner, Sami Taktak	A reconfigurable routing algorithm for a fault-tolerant 2D-Mesh Network-on-Chip.	DAC	2008	DBLP DOI BibTeX RDF	2D-Mesh NoC, DSPIN, MP2-SoC, fault-tolerant, reconfiguration, routing algorithm
40	Qing Zhang 0012, David Y. Wang, Geoffrey M. Voelker	DSpin: Detecting Automatically Spun Content on the Web.	NDSS	2014	DBLP BibTeX RDF
40	Claudio Demartini, Radu Iosif, Riccardo Sisto	dSPIN: A Dynamic Extension of SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
23	Ivan Miro Panades, Alain Greiner	Bi-Synchronous FIFO for Synchronous Circuit Communication Well Suited for Network-on-Chip in GALS Architectures.	NOCS	2007	DBLP DOI BibTeX RDF
23	Antoine Scherrer, Antoine Fraboulet, Tanguy Risset	Automatic phase detection for stochastic on-chip traffic generation.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	phase behavior, stochastic traffic modeling, performance evaluation, network-on-chip, traffic generation
23	Radu Iosif	Symmetry reductions for model checking of concurrent dynamic software.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Orbit problem, Temporal logic, Software verification, Symmetry reductions
23	Radu Iosif	Symmetry Reduction Criteria for Software Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
23	John Hatcliff, Matthew B. Dwyer	Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software.	CONCUR	2001	DBLP DOI BibTeX RDF
23	Radu Iosif	Exploiting Heap Symmetries in Explicit-State Model Checking of Software.	ASE	2001	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )