Search results for "CTMDP"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.	TACAS	2004	DBLP DOI BibTeX RDF
51	Sankalp Kallakuri, Alex Doboli, Eugene A. Feinberg	Buffer Insertion for Bridges and Optimal Buffer Sizing for Communication Sub-System of Systems-on-Chip.	DATE	2005	DBLP DOI BibTeX RDF
42	Yipin Zhang, Xiaolin Chang, Jelena V. Misic, Vojislav B. Misic, Yutong Cai	Cost-effective migration-based dynamic platform defense technique: a CTMDP approach.	Peer-to-Peer Netw. Appl.	2021	DBLP DOI BibTeX RDF
42	Xiaoming Wang 0003, Roel Leus, Stefan Creemers, Qingxin Chen, Ning Mao	A CTMDP-Based Exact Method for RCPSP with Uncertain Activity Durations and Rework.	OR	2017	DBLP DOI BibTeX RDF
36	Peng Rong, Massoud Pedram	Hierarchical power management with application to scheduling.	ISLPED	2005	DBLP DOI BibTeX RDF	CTMDP, hierarchical power management, application scheduling
25	Sankalp S. Kallakuri, Alex Doboli	Customization of Arbitration Policies and Buffer Space Distribution Using Continuous-Time Markov Decision Processes.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
25	Peng Rong, Massoud Pedram	Battery-aware power management based on Markovian decision processes.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
25	Sankalp Kallakuri, Nattawut Thepayasuwan, Alex Doboli, Eugene A. Feinberg	A continuous time markov decision process based on-chip buffer allocation methodology.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	buffer space management, SoC

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