Search results for "APMC"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
142	Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet	Cell Assisted APMC.	QEST	2008	DBLP DOI BibTeX RDF
142	Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet	APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.	QEST	2006	DBLP DOI BibTeX RDF
106	Sadaatsu Kato, Kazuo Sugimoto, Fulvio Moschetti, Choong Seng Boon	Hierarchical mode search with classification of bisectional prediction modes based on the position of motion boundary.	ICIP	2004	DBLP DOI BibTeX RDF
36	Rentao Wan, Jinjia Zhou, Bowen Huang, Hui Zeng, Yibo Fan	APMC: Adjacent Pixels Based Measurement Coding System for Compressively Sensed Images.	IEEE Trans. Multim.	2022	DBLP DOI BibTeX RDF
36	Tassadaq Hussain, Oscar Palomar, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero, Santhosh Kumar Rethinagiri	APMC: advanced pattern based memory controller (abstract only).	FPGA	2014	DBLP DOI BibTeX RDF
36	Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil	Evaluating Complex MAC Protocols for Sensor Networks with APMC.	AVoCS	2006	DBLP DOI BibTeX RDF
36	Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny	Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.	AVoCS	2004	DBLP DOI BibTeX RDF
36	Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener	Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry.	SDL Forum	2007	DBLP DOI BibTeX RDF	APMC, Model checking, probabilistic models, PRISM, Pastry
26	Vikram Sorathia, Zakir Laliwala, Sanjay Chaudhary	Towards Agricultural Marketing Reforms: Web Services Orchestration Approach.	IEEE SCC	2005	DBLP DOI BibTeX RDF

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