|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7899 occurrences of 3873 keywords
|
|
|
Results
Found 9063 publication records. Showing 9063 according to the selection in the facets
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 |
|
Displaying result #201 - #300 of 9063 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|