|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3622 occurrences of 1356 keywords
|
|
|
Results
Found 11346 publication records. Showing 11346 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Geoff Barrett |
The Semantics of Priority and Fairness in occam. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Irène Guessarian, Wafaa Niar-Dinedane |
An Automaton Characterization of Fairness in SCCS. |
STACS |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Rodney R. Howell, Louis E. Rosier |
On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets. |
European Workshop on Applications and Theory of Petri Nets |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Krzysztof R. Apt, Ernst-Rüdiger Olderog |
Transformations Realizing Fairness Assumptions for Parallel Programs. |
STACS |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Lehmann 0001, Amir Pnueli, Jonathan Stavi |
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Sameh Najeh, Hichem Besbes |
Queue-balancing resource allocation for rate-stable OFDMA systems. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
OFDMA system, stability, fairness, buffer overflow |
17 | Lu Liu, Daiming Qu, Tao Jiang 0002 |
Dynamic fractional frequency reuse based on interference avoidance request for downlink OFDMA cellular networks. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
inter-cell interference, resource allocation, proportional fairness scheduling, frequency reuse |
17 | Peter Grogono, Nima Jafroodi |
A fair protocol for non-deterministic message passing. |
C3S2E |
2010 |
DBLP DOI BibTeX RDF |
communication, concurrency, fairness, message passing, deadlock |
17 | Hao Hu, Yang Guo 0001, Yong Liu 0013 |
Mesh-based peer-to-peer layered video streaming with taxation. |
NOSSDAV |
2010 |
DBLP DOI BibTeX RDF |
taxation, peer-to-peer, fairness, incentive, layered video |
17 | Richard T. B. Ma, Vishal Misra, Dan Rubenstein |
An analysis of generalized slotted-Aloha protocols. |
IEEE/ACM Trans. Netw. |
2009 |
DBLP DOI BibTeX RDF |
Markovian decision, MAC protocols, Stackelberg game, Prisoner's Dilemma, slotted-Aloha, short-term fairness |
17 | Fen Hou, Pin-Han Ho, Xuemin (Sherman) Shen |
An efficient delay constrained scheduling scheme for IEEE 802.16 networks. |
Wirel. Networks |
2009 |
DBLP DOI BibTeX RDF |
Preference metric, Scheduling, IEEE 802.16, Proportional fairness |
17 | Lu Bai, Chunhe Xia, Xiaojian Li, Haiquan Wang |
A Bulk Email Oriented Multi-party Non-repudiation Exchange Protocol. |
WISM |
2009 |
DBLP DOI BibTeX RDF |
SVO logic, bulk email, protocol, fairness, Encryption, non-repudiation |
17 | Henry Been-Lirn Duh, Vivian Hsueh-hua Chen |
Cheating Behaviors in Online Gaming. |
HCI (12) |
2009 |
DBLP DOI BibTeX RDF |
Online game cheating, cheating frameworks, online game fairness |
17 | Li-Ping Tung, Yeali S. Sun, Tzu-Lin Huang, Meng Chang Chen |
TCP-sleek channel access scheduling for multi-hop mesh networks. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
spatial TDMA channel access, TCP, fairness, wireless mesh networks |
17 | Abhishek Swaroop, Awadhesh Kumar Singh |
A Hierarchical Approach to Handle Group Mutual Exclusion Problem in Distributed Systems. |
ICDCN |
2009 |
DBLP DOI BibTeX RDF |
Cluster, Concurrency, Fairness, Group mutual exclusion |
17 | Paolo Bellavista, Carlo Giannelli |
Social sharing of connectivity resources: control and encouragement of unselfishness in mobile environments. |
MobiMedia |
2009 |
DBLP DOI BibTeX RDF |
always best served connectivity, connectivity sharing, effective management, middleware, fairness, wireless computing |
17 | Weirong Liu 0001, Min Wu 0002, Jun Peng 0001, Guojun Wang |
Designing fair flow fuzzy controller using genetic algorithm for computer networks. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithm, congestion control, fairness, fuzzy control |
17 | John L. Miller 0001, Jon Crowcroft |
Probabilistic event resolution with the pairwise random protocol. |
NOSSDAV |
2009 |
DBLP DOI BibTeX RDF |
pairwise random protocol, secure coin flipping, security, fairness, distributed virtual environment, network games, cheating, bit commitment |
17 | Kin Wah Edward Lin, Brahim Bensaou |
A distributed fair MAC flow allocation and scheduling framework for IEEE 802.11 based wireless mesh networks. |
MSWiM |
2009 |
DBLP DOI BibTeX RDF |
IEEE 802.11 wmns, fairness, implementation |
17 | Andrew Ka Ho Leung, Yu-Kwong Kwok |
On Localized Application-Driven Topology Control for Energy-Efficient Wireless Peer-to-Peer File Sharing. |
IEEE Trans. Mob. Comput. |
2008 |
DBLP DOI BibTeX RDF |
wireless networking, energy efficiency, fairness, Topology control, network protocols, incentive, file sharing, P2P systems |
17 | Yang Liu 0015, Yu-Kwong Kwok, Jiangzhou Wang |
On scheduling and clustering in hierarchical TH-PPM UWB wireless ad hoc networks. |
J. Supercomput. |
2008 |
DBLP DOI BibTeX RDF |
Bandwidth scheduling, Ad hoc networks, Clustering algorithms, UWB, Proportional fairness, Multiple access control |
17 | Fang-Chun Kuo, Xiaoming Fu 0001 |
Probe-Aided MulTCP: an aggregate congestion control mechanism. |
Comput. Commun. Rev. |
2008 |
DBLP DOI BibTeX RDF |
aggregate flow management, congestion control, TCP, fairness |
17 | Lili Cao, Haitao Zheng 0001 |
Understanding the Power of Distributed Coordination for Dynamic Spectrum Management. |
Mob. Networks Appl. |
2008 |
DBLP DOI BibTeX RDF |
spectrum access, poverty line, fairness, cognitive radio, distributed coordination |
17 | Alfred Bashllari, Dritan Nace, Éric Gourdin, Olivier Klopfenstein |
Max-min fair survivable networks. |
Ann. des Télécommunications |
2008 |
DBLP DOI BibTeX RDF |
Routing, Linear programming, Max-min fairness, Path generation, Survivable networks, Recovery mechanisms |
17 | 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 |
17 | Ageliki Tsioliaridou, Vassilis Tsaoussidis |
On the Properties of System-Wide Responsive Behavior. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
wide-system response, Global Notifier, fairness |
17 | Madanlal Musuvathi, Shaz Qadeer |
Fair stateless model checking. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs |
17 | Dongmei Liu, Sihan Qing, Pengfei Li, ChunYang Yuan |
A Practical Certified E-Mail System with Temporal Authentication Based on Transparent TSS. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
certified electronic mail, fairness exchange protocol |
17 | Wei Fan, Huaying Shu, Qiang Yan 0002, Fang Wang |
A Fair Mobile Payment Protocol. |
APNOMS |
2008 |
DBLP DOI BibTeX RDF |
Mobile payment protocol, Fairness, Non-repudiation, Concurrent signatures |
17 | Amitabha Roy 0002, Keir Fraser, Steven Hand 0001 |
A transactional approach to lock scalability. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
concurrency, fairness, transactional memory, locks |
17 | Albert Banchs, Pablo Serrano 0001, Huw Oliver |
Proportional fair throughput allocation in multirate IEEE 802.11e wireless LANs. |
Wirel. Networks |
2007 |
DBLP DOI BibTeX RDF |
Throughput allocation, Heterogeneous radio conditions, TXOP limit, QoS, Wireless LAN, 802.11, 802.11e, Proportional fairness, Multirate, Contention window |
17 | Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki |
Stability of the Multiple-Access Channel Under Maximum Broadcast Loads. |
SSS |
2007 |
DBLP DOI BibTeX RDF |
deterministic broadcast, adversarial queuing, stability, fairness, latency, multiple-access channel |
17 | Yan Grunenberger, Martin Heusse, Franck Rousseau, Andrzej Duda |
Experience with an implementation of the Idle Sense wireless access method. |
CoNEXT |
2007 |
DBLP DOI BibTeX RDF |
wireless LANs, fairness, implementation, 802.11, access methods |
17 | Saumitra M. Das, Dimitrios Koutsonikolas, Y. Charlie Hu |
Practical service provisioning for wireless meshes. |
CoNEXT |
2007 |
DBLP DOI BibTeX RDF |
service plans, fairness, mesh networks |
17 | Jichuan Chang, Gurindar S. Sohi |
Cooperative cache partitioning for chip multiprocessors. |
ICS |
2007 |
DBLP DOI BibTeX RDF |
cooperative cache partitioning, multiple time-sharing partitions, QoS, fairness, CMP |
17 | Seetharami R. Seelam, Patricia J. Teller |
Virtual I/O scheduler: a scheduler of schedulers for performance virtualization. |
VEE |
2007 |
DBLP DOI BibTeX RDF |
virtual I/O, fairness, performance isolation, predictable performance, I/O scheduler |
17 | Dritan Nace, Nhat Linh Doan, Éric Gourdin, Bernard Liau |
Computing optimal max-min fair resource allocation for elastic flows. |
IEEE/ACM Trans. Netw. |
2006 |
DBLP DOI BibTeX RDF |
elastic flows, optimization, resource allocation, linear programming, max-min fairness |
17 | Stefano Ferretti, Claudio E. Palazzi, Marco Roccetti, Giovanni Pau 0001, Mario Gerla |
FILA in gameland, a holistic approach to a problem of many dimensions. |
Comput. Entertain. |
2006 |
DBLP DOI BibTeX RDF |
scalability, interactivity, fairness, consistency, multiplayer online games |
17 | Aleksi Penttinen, Jorma T. Virtamo, Riku Jäntti |
Performance analysis in multi-hop radio networks with balanced fair resource sharing. |
Telecommun. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Flow-level performance evaluation, Balanced fairness, Wireless multi-hop networks |
17 | Nauman Rafique, Won-Taek Lim, Mithuna Thottethodi |
Architectural support for operating system-driven CMP cache management. |
PACT |
2006 |
DBLP DOI BibTeX RDF |
quotas, QoS, cache, interface, fairness, CMP, SLAs, OS |
17 | Tatsuya Hashimoto, Yutaka Ishibashi |
Group synchronization control over haptic media in a networked real-time game with collaborative work. |
NETGAMES |
2006 |
DBLP DOI BibTeX RDF |
group synchronization control, networked real-time game, fairness, experiment, collaborative work, haptic media |
17 | Shao Liu, Tamer Basar, R. Srikant 0001 |
TCP-Illinois: a loss and delay-based congestion control algorithm for high-speed networks. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
NewReno, stability, congestion control, TCP, fairness, throughput, packet loss, AIMD, SACK, queueing delay, Reno |
17 | Joseph Camp, Joshua Robinson 0002, Christopher Steger, Edward W. Knightly |
Measurement driven deployment of a two-tier urban mesh access network. |
MobiSys |
2006 |
DBLP DOI BibTeX RDF |
measurement-driven, pathloss, two-tier architecture, wireless, fairness, mesh, placement, deployment, access network, urban |
17 | Hicham Anouar, Christian Bonnet |
Optimal constant-window backoff scheme for IEEE 802.11 DCF in finite load single-hop wireless networks. |
MSWiM |
2006 |
DBLP DOI BibTeX RDF |
IEEE802.11 DCF, binary exponential backoff, optimal constant-window backoff, CSMA/CA, short-term fairness |
17 | Seong-il Hahm, Jongwon Lee, Chong-kwon Kim |
Distributed Opportunistic Scheduling in IEEE 802.11 WLANs. (PDF / PS) |
PWC |
2006 |
DBLP DOI BibTeX RDF |
Channel probing, Temporal fairness, WLANs, Distributed scheduling, Opportunistic scheduling, Multiuser diversity |
17 | Nitin H. Vaidya, Anurag Dugar, Seema Gupta, Paramvir Bahl |
Distributed Fair Scheduling in a Wireless LAN. |
IEEE Trans. Mob. Comput. |
2005 |
DBLP DOI BibTeX RDF |
wireless networks, Medium access control, distributed protocols, weighted fairness |
17 | Saswati Sarkar, Leandros Tassiulas |
Fair distributed congestion control in multirate multicast networks. |
IEEE/ACM Trans. Netw. |
2005 |
DBLP DOI BibTeX RDF |
algorithms, multicast, fairness, complexity theory |
17 | François Baccelli, Dohy Hong |
Interaction of TCP flows as billiards. |
IEEE/ACM Trans. Netw. |
2005 |
DBLP DOI BibTeX RDF |
IP traffic, TCP fairness, product of random matrices, TCP/IP, dynamical system, bandwidth sharing, flow level modeling |
17 | Samarth H. Shah, Kai Chen 0003, Klara Nahrstedt |
Dynamic Bandwidth Management in Single-Hop Ad Hoc Wireless Networks. |
Mob. Networks Appl. |
2005 |
DBLP DOI BibTeX RDF |
wireless single-hop ad hoc network, distributed weighted fair scheduling, max-min fairness, bandwidth manager |
17 | Hongyi Wu, Anant Utgikar, Nian-Feng Tzeng |
SYN-MAC: A Distributed Medium Access Control Protocol for Synchronized Wireless Networks. |
Mob. Networks Appl. |
2005 |
DBLP DOI BibTeX RDF |
binary countdown, SYN-MAC, fairness, IEEE 802.11, medium access control (MAC) |
17 | Kaixin Xu, Mario Gerla, Lantao Qi, Yantai Shu |
TCP Unfairness in Ad Hoc Wireless Networks and a Neighborhood RED Solution. |
Wirel. Networks |
2005 |
DBLP DOI BibTeX RDF |
TCP fairness, neighborhood RED, NRED, ad hoc network |
17 | Takahiro Yasui, Yutaka Ishibashi, Tomohito Ikedo |
Influences of network latency and packet loss on consistency in networked racing games. |
NETGAMES |
2005 |
DBLP DOI BibTeX RDF |
causality control, networked racing game, fairness, consistency, dead-reckoning |
17 | Marc Torrent-Moreno, Paolo Santi, Hannes Hartenstein |
Fair sharing of bandwidth in VANETs. |
Vehicular Ad Hoc Networks |
2005 |
DBLP DOI BibTeX RDF |
vehicular safety, ad hoc networks, fairness, power control |
17 | Michele Garetto, Jingpu Shi, Edward W. Knightly |
Modeling media access in embedded two-flow topologies of multi-hop wireless networks. |
MobiCom |
2005 |
DBLP DOI BibTeX RDF |
fairness, analytical modeling, CSMA/CA, CSMA |
17 | Yichun Liu, Jianming Fu, Huanguo Zhang |
An Optimistic Fair Protocol for P2P Chained Transaction. |
ASIAN |
2005 |
DBLP DOI BibTeX RDF |
P2P transaction, chained transaction, onion payment, fairness |
17 | Xiaojie Gao, Leonard J. Schulman |
Feedback control for router congestion resolution. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
game theory, congestion control, Nash equilibrium, feedback control, max-min-fairness |
17 | Vivek Raghunathan, P. R. Kumar 0001 |
A counterexample in congestion control of wireless networks. |
MSWiM |
2005 |
DBLP DOI BibTeX RDF |
stability, congestion control, TCP, fairness, wireless ad hoc networks |
17 | Ravi Prakash 0001, Roberto Baldoni |
Causality and the Spatial-Temporal Ordering in Mobile Systems. |
Mob. Networks Appl. |
2004 |
DBLP DOI BibTeX RDF |
spatial ordering, fairness, mobile networks, causality |
17 | Frank Ciesinski, Marcus Größer |
On Probabilistic Computation Tree Logic. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
PCTL, PCTL*, probabilistic deterministic systems, probabilistic nondeterministic systems, quantitative model checking, scheduler, fairness, Markov decision processes, discrete time Markov chains |
17 | Yuan Chen, Lemin Li |
A Fair Packet Dropping Algorithm Considering Channel Condition in Diff-Serv Wireless Networks. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
QoS (Quality of Services), Channel Condition, Diff-Serv, Fairness, Packet Scheduling, Packet Dropping |
17 | Richard J. Lipton, Evangelos Markakis, Elchanan Mossel, Amin Saberi |
On approximately fair allocations of indivisible goods. |
EC |
2004 |
DBLP DOI BibTeX RDF |
envy, approximation algorithm, fairness, truthfulness |
17 | Tiantong You, Hossam S. Hassanein, Chi-Hsiang Yeh |
Controllable Fair QoS-Based MAC Protocols for Ad Hoc Wireless Networks. |
ICPP Workshops |
2004 |
DBLP DOI BibTeX RDF |
QoS, fairness, Wireless ad hoc networks, medium access control, differentiated services |
17 | Hans van den Berg, Remco Litjens, Joost Laverman |
HSDPA flow level performance: the impact of key system and traffic aspects. |
MSWiM |
2004 |
DBLP DOI BibTeX RDF |
umts, spatial fairness, performance evaluation, packet scheduling, qos, hsdpa, link adaptation, multipath fading |
17 | Yosuke Ito, Hiroshi Mineno, Susumu Ishihara |
A Scheme Encouraging Mobile Nodes to Forward Packets via Multiple Wireless Links Aggregating System Between the Internet and Mobile Ad Hoc Networks. |
OPODIS |
2004 |
DBLP DOI BibTeX RDF |
incentive of forwarding, SHAKE, ad hoc network, mobile computing, fairness, cooperation, mobile IP, accounting, multiple paths |
17 | Giuseppe De Marco, Maurizio Longo, Fabio Postiglione |
Run-time Adjusted Congestion Control for Multimedia: Experimental Results. |
AINA (1) |
2004 |
DBLP DOI BibTeX RDF |
TCP-compatibility, delay-sensitive applications, multimedia transportation, Congestion control, fairness |
17 | Jeff Edmonds |
On the Competitiveness of AIMD-TCP within a General Network. |
LATIN |
2004 |
DBLP DOI BibTeX RDF |
online competitive ratio, multi-bottleneck, TCP, fairness, flow time, AIMD |
17 | Mingbo Xiao, Ness B. Shroff, Edwin K. P. Chong |
A utility-based power-control scheme in wireless cellular systems. |
IEEE/ACM Trans. Netw. |
2003 |
DBLP DOI BibTeX RDF |
signal-to-interference ratio (SIR), distributed algorithm, wireless, stability, robustness, fairness, admission control, power control, Nash equilibrium, utility function, Pareto optimal, cellular system |
17 | Yuan Gao, Jennifer C. Hou, Sanjoy Paul |
RACCOOM: A Rate-Based Congestion Control Approach for Multicast. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
Rate-based congestion control, performance evaluation, multicast, feedback control, TCP friendliness, weighted fairness |
17 | Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel |
Multi-valued symbolic model-checking. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
?Chek., model-checking, fairness, inconsistency, CTL, multi-valued logic, partiality |
17 | Mustapha Bouhtou, Madiagne Diallo, Laura Wynter |
Capacitated Network Revenue Management through Shadow Pricing. |
Networked Group Communication |
2003 |
DBLP DOI BibTeX RDF |
Internet Pricing, Network Equilibrium, congestion control, Proportional Fairness, Bilevel Program, Revenue Maximization |
17 | Wu-chun Feng, Sarut Vanichpun |
Enabling Compatibility Between TCP Reno and TCP Vegas. |
SAINT |
2003 |
DBLP DOI BibTeX RDF |
congestion control, fairness, convergence, compatibility, congestion avoidance, TCP Vegas, TCP Reno |
17 | Vasilios A. Siris, Matina Kavouridou |
Achieving Service Differentiation and High Utilization in IEEE 802.11. |
PWC |
2003 |
DBLP DOI BibTeX RDF |
throughput monitoring, wireless LANs, weighted fairness |
17 | Richard J. La, Venkat Anantharam |
Utility-based rate control in the Internet for elastic traffic. |
IEEE/ACM Trans. Netw. |
2002 |
DBLP DOI BibTeX RDF |
Internet, fairness, efficiency, rate allocation |
17 | Mor Harchol-Balter |
Task assignment with unknown duration. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
contrary behavior, heavy-tailed workloads, high variance, Clusters, load balancing, fairness, job scheduling, supercomputing, task assignment, load sharing, distributed servers |
17 | Eeva Nyberg, Samuli Aalto |
How to Achieve Fair Differentiation. |
NETWORKING |
2002 |
DBLP DOI BibTeX RDF |
TCP, fairness, DiffServ, TCP friendliness |
17 | Martin Mauve, Stefan Fischer 0001, Jörg Widmer |
A generic proxy system for networked computer games. |
NETGAMES |
2002 |
DBLP DOI BibTeX RDF |
latency optimization, networked computer games, robustness, congestion control, fairness, proxy |
17 | Kaixin Xu, Sang Bae, Sungwook Lee, Mario Gerla |
TCP behavior across multihop wireless networks and the wired internet. |
WOWMOM |
2002 |
DBLP DOI BibTeX RDF |
ad hoc network, MANET, fairness, TCP performance |
17 | C. L. Lee, J. R. Chen, Y. C. Chen |
A Scalable Architecture for Differentiated Services. |
ICDCS Workshops |
2002 |
DBLP DOI BibTeX RDF |
weighted proportional fairness, QoS, Differentiated services, scalable architecture |
17 | Paul D. Ezhilchelvan, Santosh K. Shrivastava, Mark C. Little |
A Model and Architecture for Conducting Hierarchically Structured Auctions. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
federated auction house, Bid servers, the Internet, synchronous/asynchronous communication, auction fairness, deadlines, Double auctions |
17 | Yosi Ben-Asher, Esti Stein |
Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
fairness, transformations, shared memory, sequentialize, execution sequence |
17 | Yonit Kesten, Amir Pnueli |
Control and Data Abstraction: The Cornerstones of Practical Formal Verification. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant |
17 | Minseok Song 0001, Naehyuck Chang, Heonshik Shin |
A new queue discipline for various delay and jitter requirements in real-time packet-switched networks. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
fairness requirements, real-time packet-switched networks, data packet scheduling, service priority, jitter bound, Rate-controlled Frame-based Weighted Round Robin, frame-based WRR server, constant buffer space, scheduling, asynchronous transfer mode, delays, queueing theory, packet switching, bandwidth, ATM networks, rate controller, jitter, telecommunication traffic, end-to-end delays, delay bound |
17 | Kaustubh S. Phanse, Luiz A. DaSilva, Kalyan Kidambi |
Effects of Competing Traffic on the Performance of TCP/IP over Asymmetric Links. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
competing traffic, asymmetric links, point-to-point protocol, unidirectional flow, bi-directional flow, quality of service, performance, asynchronous transfer mode, fairness, TCP/IP, transport protocols, packet switching, bandwidth, telecommunication traffic, access network, end-to-end quality of service, ADSL, research project, digital subscriber lines, link utilization |
17 | Kazue Sako |
Implementation of a Digital Lottery Server on WWW. |
CQRE |
1999 |
DBLP DOI BibTeX RDF |
fairness, implementation, hash function, multiparty protocol, lottery |
17 | Ting-Lu Huang |
Fast and Fair Mutual Exclusion for Shared Memory Systems. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
atomic instructions memory contention, concurrency, multiprocessors, fairness, mutual exclusion |
17 | Mei-Hwey Hou, Chienhua Chen |
Service disciplines for guaranteed performance service. |
RTCSA |
1997 |
DBLP DOI BibTeX RDF |
guaranteed performance service, packet service disciplines, traffic dynamics, fairness property, hierarchical packet fair queuing algorithm, packet switching, delay bounds, networking environment, service disciplines, end-to-end performance |
17 | Asha Dinesh, W. Melody Moh |
An efficient traffic control scheme for integrated voice, video and data over ATM networks: explicit allowed rate algorithm (EARA). |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
explicit allowed rate algorithm, constant bit rate traffic, available bit rate traffic, ABR traffic, rate based congestion control algorithm, proportional rate control algorithm, explicit rate indication congestion avoidance algorithm, fairness configurations, minimal switch overhead, buffer space reduction, quality of service, performance analysis, protocol, asynchronous transfer mode, video, bandwidth, ATM networks, data, voice, traffic control, integrated services, B-ISDN, network throughput, variable bit rate traffic, VBR traffic |
17 | Alexander Bolotov, Michael Fisher 0001 |
A Resolution Method For CTL Branching-Time Temporal Logic. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL* |
17 | Myong H. Kang, Ira S. Moskowitz, Bruce E. Montrose, James J. Parsonese |
A Case Study Of Two Nrl Pump Prototypes. |
ACSAC |
1996 |
DBLP DOI BibTeX RDF |
NRL Pump, data pump, interconnected computer systems, process layer, 4-layer network reference model, DOS-Pump, D-Pump, event-driven Pump, E-Pump, performance, prototypes, congestion control, case study, fairness, open systems, open systems, covert channels, hardware implementation, secure communication, transport layer, reliable communication, threats, denial-of-service attacks |
17 | Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov |
Designing an asynchronous pipeline token ring interface. |
ASYNC |
1995 |
DBLP DOI BibTeX RDF |
asynchronous pipeline token ring interface, speed-independent interface, reliable communication medium, on-board multicomputer, asynchronous buses, point-to-point interconnections, syntax-driven implementation, channel protocol controller, protocols, fairness, multiprocessor interconnection networks, local area networks, pipeline processing, deadlock-freedom, token networks |
17 | Y. Chang, Nada Golmie, David H. Su |
Study of interoperability between EFCI and ER switch mechanisms for ABR traffic in an ATM network. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
ABR traffic, rate-based flow control, transmission rate control, feedback information, resource management cells, network switching nodes, ATM Forum Traffic Management Specification, network switch mechanism, ATM switch vendor, bandwidth allocation fairness, explicit forward congestion indication, explicit rate mechanism, end system behavior, congestion notification, algorithms, interoperability, asynchronous transfer mode, asynchronous transfer mode, ATM network, simulation results, network performance, simulation study, performance characteristics, available bit rate, destination nodes |
17 | Aruna Kumar Kompella, Indra Widjaja |
Burst-level admission control protocols with multirate traffic and arbitrary network topology. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
burst-level admission control protocols, multirate traffic, random access techniques, fell-and-wait, tell-and-go, end-to-end transfer delay, blocking probability characteristics, peak bit rates, performance, fairness, throughput, network topology, ATM networks, access protocols, reduced load approximation |
17 | Manfred Broy, Greg Nelson |
Adding Fair Choice to Dijkstra's Calculus. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
dovetail, law of the excluded miracle, partial commands, semantics, fairness, nondeterminism, guarded commands |
17 | Carl A. Waldspurger, Tad Hogg, Bernardo A. Huberman, Jeffrey O. Kephart, W. Scott Stornetta |
Spawn: A Distributed Computational Economy. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
distributed computational economy, market-based computational system, Spawn system, idle computational resources, heterogeneous computer workstations, coarse-grain concurrent applications, concurrent Monte Carlo simulations, resource distribution, price equilibria, idle processor time, experimental workbench, parallel programming, fairness, computer networks, Monte Carlo methods, distributed network, remote execution, computational markets |
17 | Amir Pnueli |
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
discrete and continuous systems, Real-time, fairness, hybrid systems, Statecharts, Liveness, timed transitions system, justice |
17 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis |
17 | Wolfgang Reisig |
A strong part of concurrency. |
European Workshop on Applications and Theory of Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
interleaving sequences, concurrency, fairness, priority, conflict, confusion |
17 | Prakash Panangaden |
Abstract Interpretation and Indeterminacy. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
indeterminate operators, hiatons, dataflow networks, fairness, abstract interpretation |
17 | Ehsan Toreini, Maryam Mehrnezhad, Aad van Moorsel |
Fairness as a Service (FaaS): verifiable and privacy-preserving fairness auditing of machine learning systems. |
Int. J. Inf. Sec. |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Hilde J. P. Weerts, Florian Pfisterer, Matthias Feurer, Katharina Eggensperger, Edward Bergman, Noor H. Awad, Joaquin Vanschoren, Mykola Pechenizkiy, Bernd Bischl, Frank Hutter |
Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML. |
J. Artif. Intell. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 11346 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|