Search results for "guarantee"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jean-Yves Le Boudec, Anna Charny	Packet scale rate guarantee for non-FIFO nodes.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	expedited forwarding, differentiated services, network calculus, min-max
16	Leonor Prensa Nieto	The Rely-Guarantee Method in Isabelle/HOL.	ESOP	2003	DBLP DOI BibTeX RDF
16	Francis Y. L. Chin, Ngai Lam Ho, Tak Wah Lam, Prudence W. H. Wong, Mee Yee Chan	Efficient Constrained Multiple Sequence Alignment with Performance Guarantee.	CSB	2003	DBLP DOI BibTeX RDF
16	Chih-Min Chao, Yu-Chee Tseng, Li-Chun Wang 0001	Dynamic bandwidth allocation for multimedia traffic with rate guarantee and fair access in WCDMA systems.	MSWiM	2003	DBLP DOI BibTeX RDF	mobile computing, wireless communication, 3G, WCDMA, personal communication services, OVSF
16	Mohammad Zulkernine, Rudolph E. Seviora	Assume-Guarantee Algorithms for Automatic Detection of Software Failures.	IFM	2002	DBLP DOI BibTeX RDF	applied formal methods, Software reliability, compositionality, failure detection, online monitoring
16	John C. S. Lui, Xiaoqing Wang	An Admission Control Algorithm for Providing Quality-of-Service Guarantee for Individual Connection in a Video-on-Demand System.	ISCC	2000	DBLP DOI BibTeX RDF	Quality-of-Service (QoS), performance analysis, video-on-demand
16	Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever	Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
16	Xiao Yuan Luo, Ian Li-Jin Thng, Wei Zhuang	A Dynamic Channel Pre-Reservation Scheme for Handoffs with GoS Guarantee in Mobile Networks.	ISCC	1999	DBLP DOI BibTeX RDF	Handoff Support, Mobile Networks, GoS, Grade of Service
16	Yuseok Kim, Wei Kang Tsai, Mahadevan Iyer, Jordi Ros	Minimum Rate Guarantee Without Per-Flow Information.	ICNP	1999	DBLP DOI BibTeX RDF
16	Jim Woodcock 0001, B. Dickinson	Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project.	VDM Europe	1988	DBLP DOI BibTeX RDF
15	Lothar Thiele	Temperature-aware Real-Time Scheduling - Extended Abstract.	QEST	2011	DBLP DOI BibTeX RDF	temperature analysis, temperature guarantee, real-time systems, multiprocessor systems
15	Heiko Mantel, David Sands 0001, Henning Sudbrock	Assumptions and Guarantees for Compositional Noninterference.	CSF	2011	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
15	Yujun Li, Yaling Yang, Xianliang Lu	Rules of Designing Routing Metrics for Greedy, Face, and Combined Greedy-Face Routing.	IEEE Trans. Mob. Comput.	2010	DBLP DOI BibTeX RDF	routing algebra, loop freeness, delivery guarantee, consistency, Geographic routing
15	Massimo Bartoletti, Roberto Zunino	A Calculus of Contracting Processes.	LICS	2010	DBLP DOI BibTeX RDF	circular assume-guarantee, concurrent constraints, contracts, cut elimination
15	Shimin Chen, Phillip B. Gibbons, Suman Nath	PR-join: a non-blocking join achieving higher early result rate with statistical guarantees.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	fast early result, finite data stream, non-blocking join, pr-join, statistical guarantee, data warehouse, online aggregation
15	Xujin Chen, Bo Chen 0002	Approximation Algorithms for Soft-Capacitated Facility Location in Capacitated Network Design.	Algorithmica	2009	DBLP DOI BibTeX RDF	Soft capacity, Approximation algorithm, Network design, Facility location, Performance guarantee
15	Sheng-Hsuan Hsu, Ching-Chi Hsu, Shun-Shii Lin, Ferng-Ching Lin	The Analysis of a Multi-channel MAC Protocol Using Maximal Matching for Ad Hoc Networks.	NCM	2009	DBLP DOI BibTeX RDF	delivery guarantee, mobile ad hoc networks, medium access control, self-stabilizing, multi-channel, maximal matching
15	Li Zhang	The three-hub center allocation problem.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	time guarantee, complexity, hubs, economies of scale
15	Ningfang Mi, Alma Riska, Xin Li, Evgenia Smirni, Erik Riedel	Restrained utilization of idleness for transparent scheduling of background tasks.	SIGMETRICS/Performance	2009	DBLP DOI BibTeX RDF	continuous data histogram, low priority work, performance guarantee, idleness
15	Roberto Baldoni, Silvia Bonomi, Michel Raynal	Joining a Distributed Shared Memory Computation in a Dynamic Distributed System.	SEUS	2009	DBLP DOI BibTeX RDF	Provable guarantee, Regular register, Set object, Dynamic system, Synchronous system, Churn
15	K. H. Kim	Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems.	SEUS	2009	DBLP DOI BibTeX RDF	networked embedded computing, real time, distributed computing, object, TMO, timeliness, time-trigger, message-trigger, guarantee
15	Xuening Sun, Pierluigi Nuzzo 0002, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli	Contract-based system-level composition of analog circuits.	DAC	2009	DBLP DOI BibTeX RDF	integration, composition, contract, system, analog, UWB, platform, platform-based design, radio-frequency, assume-guarantee
15	Eric Angel, Evripidis Bampis, Fanny Pascual	The impact of local policies on the quality of packet routing in paths, trees, and rings.	J. Sched.	2008	DBLP DOI BibTeX RDF	Approximation with performance guarantee, Price of anarchy, Packet routing, Scheduling policies
15	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
15	Adityanand Pasumarthi	Quota queue: a new queue data structure that provides prioritized, predictable, guaranteed and fair dequeue mechanism.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	item queue, quota run, quota value, data structure, predictability, fairness, queue, priority, distribution model, guarantee
15	Walid Htira, Olivier Dugeon, Michel Diaz	A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay\|Bandwidth Sensitive Networks.	Networking	2008	DBLP DOI BibTeX RDF	Admission control, bandwidth broker, topology aggregation, service guarantee
15	Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan	Enforcing behavioral constraints in evolving aspect-oriented programs.	FOAL	2008	DBLP DOI BibTeX RDF	aspect-oriented programming, modular reasoning, rely-guarantee
15	Xiaodong Li, Ritu Gupta, Sarita V. Adve, Yuanyuan Zhou	Cross-component energy management: Joint adaptation of processor and memory.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	low-power design, memory, adaptive systems, processor, Energy management, performance guarantee, control algorithms
15	Neil Evans, Helen Treharne	Interactive tool support for CSP \|\| B consistency checking.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
15	Sinem Coleri Ergen, Pravin Varaiya	PEDAMACS: Power Efficient and Delay Aware Medium Access Protocol for Sensor Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	Sensor networks, energy efficiency, delay guarantee
15	Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih 0001, Lui Sha	Schedulability Envelope for Real-Time Radar Dwell Scheduling.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	radar dwell, schedulability envelope, finite-time guarantee, online admission control, real-time scheduling, Phased-array radar
15	Chin-Fu Kuo, Ya-Shu Chen, Tei-Wei Kuo, Phone Lin, Cheng Chang	Component-Oriented Radars with Probabilistic Timing Guarantees.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	probabilistic performance guarantee, dwell scheduling, distributed systems, real-time task scheduling, Phased-array radar
15	Weijia Jia 0001, Hanxing Wang, Wanqing Tu, Wei Zhao 0001	A New delay control method for real-time flows.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF	Worst-case delay bound, Traffic regulation and control, Multiplexer and regulated networks, Real-time communication, QoS guarantee
15	Marc Shapiro 0001	Practical proofs of concurrent programs.	ICFP	2006	DBLP DOI BibTeX RDF	concurrent programming, assertions, hoare logic, program proofs, rely-guarantee
15	Steven Martin 0001, Pascale Minet	Worst case end-to-end response times of flows scheduled with FP/FIFO.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF	trajectory approach, FP/FIFO, QoS, real-time scheduling, Fixed priority scheduling, deterministic guarantee, worst case end-to-end response time
15	Steven Martin 0001, Pascale Minet	Improving the Analysis of Distributed Non-Preemptive FP/DP* Scheduling with the Trajectory Approach.	Telecommun. Syst.	2005	DBLP DOI BibTeX RDF	trajectory approach, QoS, real-time scheduling, fixed priority scheduling, holistic approach, deterministic guarantee, worst case end-to-end response time
15	Qingbo Zhu, Zhifeng Chen, Lin Tan 0001, Yuanyuan Zhou 0001, Kimberly Keeton, John Wilkes	Hibernator: helping disk arrays sleep through the winter.	SOSP	2005	DBLP DOI BibTeX RDF	storage system, energy management, disk array, performance guarantee, disk layout
15	Bo Chen 0002, Xiaotie Deng, Wenan Zang	On-Line Scheduling a Batch Processing System to Minimize Total Weighted Job Completion Time.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	scheduling, on-line, performance guarantee, batch processing
15	Homayoun Yousefi'zadeh, Hamid Jafarkhani, Farzad Etemadi	Distortion-Optimal Transmission of Progressive Images over Channels with Random Bit Errors and Packet Erasures.	Data Compression Conference	2004	DBLP DOI BibTeX RDF	Progressive Transmission of Images, Random Bit Error, Packet Erasure, Gilbert-Elliott Loss Model, Statistical Guarantee of Packet Delivery, Source Coding, Channel Coding
15	Chin-Fu Kuo, Ya-Shu Chen, Tei-Wei Kuo, Phone Lin, Cheng Chang	Probabilistic Real-Time Guarantees for Component-Oriented Phased Array Radars.	ICPP	2004	DBLP DOI BibTeX RDF	Probabilistic Performance Guarantee, Dwell Scheduling, Distributed Systems, Real-Time Task Scheduling, Phased Array Radar
15	K. H. (Kane) Kim	Fundamental Research Challenges in Real-Time Distributed Computing.	FTDCS	2004	DBLP DOI BibTeX RDF	real time, grid, distributed computing, coordination, sensor, resource management, latency, object, response times, WAN, programming model, LAN, guarantee, global time, high level
15	Jei-Wen Teng, Yih-Kuen Tsay	Composing Temporal-Logic Specifications with Machine Assistance.	FME	2003	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software
15	Oksana Tkachuk, Matthew B. Dwyer	Adapting side effects analysis for modular program model checking.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	modular flow analysis, model checking, assume-guarantee
15	K. H. (Kane) Kim	Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF	service time bound, statistical derivation, analytical derivation, soft-firm bound, real time, certification, object, TMO, embedded computing, timeliness, hybrid approach, guarantee
15	Saad Mneimneh, Vishal Sharma, Kai-Yeung Siu	Switching using parallel input-output queued switches with no speedup.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	parallel switches, switching, speedup, delay guarantee
15	K. H. Kim	Toward QoS Certification of Real-Time Distributed Computing Systems.	HASE	2002	DBLP DOI BibTeX RDF	design-time, execution safety, Risk Incursion Function, security, fault tolerance, real-time, service, quality, certification, risk, TMO, timeliness, guarantee, RIF
15	Christian Laforest, Sandrine Vial	Short Cut Eulerian Routing of Datagrams in All Optical Point-to-Point Networks.	IPDPS	2002	DBLP DOI BibTeX RDF	ending routing guarantee, Eulerian circuits, networks routing
15	K. H. Kim, Juqiang Liu, Moon-hae Kim	Deadline Handling in Real-Time Distributed Objects.	ISORC	2000	DBLP DOI BibTeX RDF	real time, object, deadline, TMO, time-triggered, service time, message triggered, guarantee
15	Amit Kumar 0001, Jon M. Kleinberg	Fairness Measures for Resource Allocation.	FOCS	2000	DBLP DOI BibTeX RDF	fairness measures, bandwidth assignment, global approximation guarantee, discrete optimization problems, scheduling, resource allocation, resource allocation, optimisation, vectors, network routing, facility location, telecommunication network routing, bandwidth allocation, optimization problems
15	Heejun Han, Seog Park, Chanjung Park	A concurrency control protocol for read-only transactions in real-time secure database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions
15	K. H. Kim	Object-Oriented Real-Time Distributed Programming and Support Middleware.	ICPADS	2000	DBLP DOI BibTeX RDF	simulation, real time, middleware, distributed, programming, object, fault, deadline, TMO, tolerance, time-triggered, message triggered, guarantee
15	Ikjun Yeom, A. L. Narasimha Reddy	Realizing Throughput Guarantees in a Differentiated Services Network.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	Throughput guarantee, Quality of service, TCP, Differentiated service, RED
15	Shigang Chen, Klara Nahrstedt	Hierarchical Scheduling for Multiple Classes of Applications in Connection-Oriented Integrated-Service Networks.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	Quality of service, fairness, performance guarantee, hierarchical scheduling
15	Geoffrey G. Xie, Simon S. Lam	Real-time block transfer under a link-sharing hierarchy.	IEEE/ACM Trans. Netw.	1998	DBLP DOI BibTeX RDF	ATM block transfer, burst scheduling, hierarchical link sharing, admission control, delay guarantee
15	Seok-Kyu Kweon, Kang G. Shin	Providing deterministic delay guarantees in ATM networks.	IEEE/ACM Trans. Netw.	1998	DBLP DOI BibTeX RDF	broadband ISDN, cell multiplexing, channel admissibility, rate-monotonic priority scheduling, BISDN, ATM, real-time communication, traffic controller, delay guarantee, multimedia conferencing
15	Matthew B. Dwyer, Corina S. Pasareanu	Filter-Based Model Checking of Partial Systems.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation
15	David K. Y. Yau, Simon S. Lam	Adaptive rate-controlled scheduling for multimedia applications.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	adaptive rate control, end system support, rate reservation, QoS guarantee, continuous media, protocol processing, CPU scheduling
15	Simon S. Lam, Geoffrey G. Xie	Group priority scheduling.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	ATM block transfer, burst scheduling network, group priority, real-time flow, packet scheduling, integrated services, delay guarantee
15	Sugih Jamin, Peter B. Danzig, Scott Shenker, Lixia Zhang 0001	A measurement-based admission control algorithm for integrated service packet networks.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	predictive service, quality-ofservice guarantee, real-time traffic
15	Ekkart Kindler	A Compositional Partial Order Semantics for Petri Net Components.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
15	Seungjae Han, Kang G. Shin	Efficient spare-resource allocation for fast restoration of real-time channels from network component failures.	RTSS	1997	DBLP DOI BibTeX RDF	spare resource allocation, real-time channel restoration, network component failure, real-time communication services, distributed real-time applications, datagram communication, recovery-delay guarantee, spare resource minimization, resource sharing mechanisms, backup-route selection algorithms, simulations, fault tolerance, resource allocation, computer networks, real-time applications, failure recovery, timeliness, network resources
15	Hsueh-I Lu, R. Ravi 0001	A Fast Approximation Algorithm for Maximum-Leaf Spanning Tree.	ISPAN	1997	DBLP DOI BibTeX RDF	Maximum-leaf spanning tree, Approximation algorithms, Performance guarantee, Approximation ratio
15	Lixia Zhang 0001	VirtualClock: A New Traffic Control Algorithm for Packet-Switched Networks.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF	data traffic control, rate-based flow-control algorithms, time-division-multiplexing, statistical multiplexing, performance guarantee
14	Viswanath Nagarajan, Maxim Sviridenko	On the maximum quadratic assignment problem.	SODA	2009	DBLP DOI BibTeX RDF
14	Thomas Sandholm, Kevin Lai, Scott H. Clearwater	Admission Control in a Computational Market.	CCGRID	2008	DBLP DOI BibTeX RDF	quality of service, performance evaluation, resource allocation, workload modeling
14	Nikhil Bansal 0001, Alberto Caprara, Maxim Sviridenko	Improved approximation algorithms for multidimensional bin packing problems.	FOCS	2006	DBLP DOI BibTeX RDF
14	Yan Qin, Yong Xiang, Meilin Shi	Virtual Delay Vector Based Core-Stateless Packet Scheduling Algorithm.	ICNS	2006	DBLP DOI BibTeX RDF
14	Adi Avidor, Ido Berkovitch, Uri Zwick	Improved Approximation Algorithms for MAX NAE-SAT and MAX SAT.	WAOA	2005	DBLP DOI BibTeX RDF
14	Seong-Woo Kim, Young-Chul Jung, Young-Tak Kim	A Design of Platform for QoS-Guaranteed Multimedia Services Provisioning on IP-Based Convergence Network.	CIS (2)	2005	DBLP DOI BibTeX RDF
14	Chang Li, Gang Peng, Kartik Gopalan, Tzi-cker Chiueh	Performance Guarantees for Cluster-Based Internet Services.	CCGRID	2003	DBLP DOI BibTeX RDF
14	Chang Li, Gang Peng, Kartik Gopalan, Tzi-cker Chiueh	Performance Guarantees for Cluster-Based Internet Services.	ICDCS	2003	DBLP DOI BibTeX RDF
14	Koji Hashimoto, Yoshitaka Shibata, Norio Shiratori	Mobile Agent-Based Adaptive Multimedia Communication.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
14	Koji Hashimoto, Yoshitaka Shibata, Norio Shiratori	Mobile Angent-Based Transcoding Functions.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
14	Mahesh Viswanathan 0001, Ramesh Viswanathan	Foundations for Circular Compositional Reasoning.	ICALP	2001	DBLP DOI BibTeX RDF
14	Sriram K. Rajamani, Jakob Rehof	A Behavioral Module System for the Pi-Calculus.	SAS	2001	DBLP DOI BibTeX RDF
14	Naoki Kobayashi 0001	Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness.	IFIP TCS	2000	DBLP DOI BibTeX RDF
14	Sándor P. Fekete, Samir Khuller, Monika Klemmstein, Balaji Raghavachari, Neal E. Young	A Network-Flow Technique for Finding Low-Weight Bounded-Degree Spanning Trees.	IPCO	1996	DBLP DOI BibTeX RDF
12	Bin Zhang 0035, Weiwei Shang 0001, Binbin Deng, Shuang Cong, Zhijun Li 0001	High-Precision Adaptive Control of Cable-Driven Parallel Robots With Convergence Guarantee.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
12	Alejandro Garces Ruiz, Sebastián Riffo, Catalina González-Castaño, Carlos Restrepo	Model Predictive Control With Stability Guarantee for Second-Order DC/DC Converters.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
12	Mahita Nagabhiru, Gregory T. Byrd	Achieving Forward Progress Guarantee in Small Hardware Transactions.	IEEE Comput. Archit. Lett.	2024	DBLP DOI BibTeX RDF
12	Philippe Lambert, Karen Godary-Dejean, Lionel Lapierre, Lotfi Jaiem, Didier Crestani	Performance Guarantee for Autonomous Robotic Missions using Resource Management: The PANORAMA Approach.	J. Intell. Robotic Syst.	2024	DBLP DOI BibTeX RDF
12	Qingyu Liu, Chengzhang Li, Y. Thomas Hou 0001, Wenjing Lou, Jeffrey H. Reed, Sastry Kompella	Aion: A Bandwidth Conserving Scheduler With Data Freshness Guarantee.	IEEE Trans. Mob. Comput.	2024	DBLP DOI BibTeX RDF
12	Yu Chen 0038, Sheng Zhang 0001, Yibo Jin 0001, Zhuzhong Qian, Mingjun Xiao, Wenzhong Li, Yu Liang 0001, Sanglu Lu	Crowdsourcing Upon Learning: Energy-Aware Dispatch With Guarantee for Video Analytics.	IEEE Trans. Mob. Comput.	2024	DBLP DOI BibTeX RDF
12	Shuai Wang 0033, Yanqing Xu, Yanli Yuan, Tony Q. S. Quek	Toward Fast Personalized Semi-Supervised Federated Learning in Edge Networks: Algorithm Design and Theoretical Guarantee.	IEEE Trans. Wirel. Commun.	2024	DBLP DOI BibTeX RDF
12	Dongni Li, Hongjing Liang, Liang Cao	A connectivity-preserving performance guarantee for cooperative control method with improved switching event-triggered mechanism.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
12	Jiacheng Liang, Yaonan Wang 0001, Hang Zhong, Yanjie Chen, Hongwen Li, Jianxu Mao, Wei Wang	Robust Variable Impedance Control for Aerial Compliant Interaction With Stability Guarantee.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
12	Yanwen Zhang, Huiwen Wang, Jichang Zhao	Eliminating orthonormal constraints of SVD to guarantee full retrievability of blind watermarking.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Syrine Bouazza, Saïd Amari, Hichem Hassine, Maher Barkallah, Mohamed Haddar	Feedback control to guarantee marking constraints in timed event graphs including disturbances: Application to disassembly systems.	Eur. J. Control	2024	DBLP DOI BibTeX RDF
12	Gongming Zhao, Jingzhou Wang, Hongli Xu, Yangming Zhao, Xuwei Yang, He Huang 0001	Joint Request Updating and Elastic Resource Provisioning With QoS Guarantee in Clouds.	IEEE/ACM Trans. Netw.	2024	DBLP DOI BibTeX RDF
12	Zhixin Zhao, Dong Wang, Hongwei Zhang, Xiaotao Huang	Joint mode selection and resource allocation to flexibly guarantee quality of service for downlink MISO-NOMA systems.	J. King Saud Univ. Comput. Inf. Sci.	2024	DBLP DOI BibTeX RDF
12	Zhiyu An, Xianzhong Ding, Wan Du	Reward Bound for Behavioral Guarantee of Model-based Planning Agents.	CoRR	2024	DBLP DOI BibTeX RDF
12	Yuxiang Wang 0001, Shuzhan Ye, Xiaoliang Xu, Yuxia Geng, Zhenghe Zhao, Xiangyu Ke, Tianxing Wu 0001	Scalable Community Search with Accuracy Guarantee on Attributed Graphs.	CoRR	2024	DBLP DOI BibTeX RDF
12	Junyan Liu, Yunfan Li, Lin Yang	Achieving Near-Optimal Regret for Bandit Algorithms with Uniform Last-Iterate Guarantee.	CoRR	2024	DBLP DOI BibTeX RDF
12	Sungjin Park, Edward Choi	Multimodal Transformer With a Low-Computational-Cost Guarantee.	CoRR	2024	DBLP DOI BibTeX RDF
12	Giang Ngo, Dang Nguyen, Dat Phan-Trong, Sunil Gupta 0001	Active Level Set Estimation for Continuous Search Space with Theoretical Guarantee.	CoRR	2024	DBLP DOI BibTeX RDF
12	Sandra Deepthy Siby, Sina Abdollahi, Mohammad Maheri, Marios Kogias, Hamed Haddadi	GuaranTEE: Towards Attestable and Private ML with CCA.	CoRR	2024	DBLP DOI BibTeX RDF
12	Shumpei Nishida, Kunihisa Okano	Sparsity-Constrained Linear Quadratic Regulation Problem: Greedy Approach with Performance Guarantee.	CoRR	2024	DBLP DOI BibTeX RDF
12	José Luis Castiglioni, Rodolfo Cristian Ertola Biraben	Assume-guarantee contract algebras are bounded Sugihara monoids.	CoRR	2024	DBLP DOI BibTeX RDF
12	Marton Havasi, Sonali Parbhoo, Finale Doshi-Velez	Guarantee Regions for Local Explanations.	CoRR	2024	DBLP DOI BibTeX RDF
12	Rongji Liao, Yuan Zhang 0013, Jinyao Yan, Yang Cai, Narisu Tao	STOP: Joint send buffer and transmission control for user-perceived deadline guarantee via curriculum guided-deep reinforcement learning.	J. Netw. Comput. Appl.	2024	DBLP DOI BibTeX RDF