Search results for "transactor"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Felice Balarin, Roberto Passerone	Specification, Synthesis, and Simulation of Transactor Processes.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
103	Felice Balarin, Roberto Passerone	Functional verification methodology based on formal interface specification and transactor generation.	DATE	2006	DBLP DOI BibTeX RDF
56	Nicola Bombieri, Nicola Deganello, Franco Fummi	Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation.	DATE	2008	DBLP DOI BibTeX RDF
56	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL.	DATE	2006	DBLP DOI BibTeX RDF
56	John Field, Carlos A. Varela	Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments.	POPL	2005	DBLP DOI BibTeX RDF	distributed state, tau-calculus, transactor, actor
33	Li-Chun Chen, Hsin-I Wu, Ren-Song Tsay	Automatic Timing-Coherent Transactor Generation for Mixed-level Simulations.	CoRR	2021	DBLP BibTeX RDF
33	Li-Chun Chen, Hsin-I Wu, Ren-Song Tsay	Automatic timing-coherent transactor generation for mixed-level simulations.	ASP-DAC	2015	DBLP DOI BibTeX RDF
33	Mee Chi So, Lyn C. Thomas, Hsin-Vonn Seow, Christophe Mues	Using a transactor/revolver scorecard to make credit and pricing decisions.	Decis. Support Syst.	2014	DBLP DOI BibTeX RDF
33	Daniel Karlsson, Petru Eles, Zebo Peng	Transactor-based Formal Verification of Real-time Embedded Systems.	FDL	2007	DBLP BibTeX RDF
33	Nicola Bombieri, Franco Fummi	On the Automatic Transactor Generation for TLM-based Design Flows.	HLDVT	2006	DBLP DOI BibTeX RDF
33	Koji Ara, Kei Suzuki	Fine-grained transaction-level verification: using a variable transactor for improved coverage at the signal level.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
33	Hans Fuss	Improvement of Simulations by Place/Transactor Nets.	IMACS European Simulation Meeting	1984	DBLP BibTeX RDF
33	Hans Fuss	Reversal Simulation with Place-Transactor-Nets.	International Working Conference on Model Realism	1982	DBLP DOI BibTeX RDF
33	Alistair C. Bruce, M. M. Kamal Hashmi, Andrew Nightingale, Steve Beavis, Nizar Romdhane, Christopher K. Lennard	Maintaining consistency between systemC and RTL system designs.	DAC	2006	DBLP DOI BibTeX RDF	SPIRIT, transactor, verification, systemC, RTL, TLM, testbench, VIP
23	Gayatri Swamynathan, Ben Y. Zhao, Kevin C. Almeroth	Decoupling Service and Feedback Trust in a Peer-to-Peer Reputation System.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
23	Jin Lee, Sin-Chong Park	Orthogonalized Communication Architecture for MP-SoC with Global Bus.	IWSOC	2005	DBLP DOI BibTeX RDF
23	Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith	Hancock: A language for analyzing transactional data streams.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	data mining, Domain-specific languages, statistical models