|
|
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 |
19 | Shaoxiong Hua, Gang Qu 0001 |
Energy-efficient dual-voltage soft real-time system with (m, k)-firm deadline guarantee. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
(m, k)-firm, low-power, dynamic voltage scaling, soft real-time |
19 | Fang-Chang Lin, Hou-Hsin Liu |
MASPG: Searching the Shortest Communication Path with the Guarantee of the Message Delivery Between Manager and Mobile Agent. |
EUC |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Patrick Maier 0001 |
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Yuming Jiang 0001 |
Per-domain Packet Scale Rate Guarantee for Expedited Forwarding. |
IWQoS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jürgen Dingel |
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jon C. R. Bennett, Kent Benson, Anna Charny, William F. Courtney, Jean-Yves Le Boudec |
Delay jitter bounds and packet scale rate guarantee expedited forwarding. |
IEEE/ACM Trans. Netw. |
2002 |
DBLP DOI BibTeX RDF |
expedited forwarding, differentiated services, delay jitter |
19 | Byron Krauter, David Widiger |
Variable frequency crosstalk noise analysis: : a methodology to guarantee functionality from dc to fmax. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
GCD frequency, LCM window, frequency-dependent noise, timing orthogonality, crosstalk, noise analysis, timing windows |
19 | Song Chong, Sangho Lee 0003, Sungho Kang |
A simple, scalable, and stable explicit rate allocation algorithm for MAX-MIN flow control with minimum rate guarantee. |
IEEE/ACM Trans. Netw. |
2001 |
DBLP DOI BibTeX RDF |
asymptotic decay rate, elastic traffic services, max-min flow rate, scalibility, stability |
19 | Sunwoong Choi, Chongkwon Kim |
TCP Throughput Guarantee Using Packet Buffering. |
ICN (2) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
You Assume, We Guarantee: Methodology and Case Studies. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Tetsuya Yokotani, Tatsuki Ichihashi, Masayuki Yabe |
An Ultra Light Weight CAC Mechanism (UL-CAC) for Soft Guarantee in ATM Networks. |
LCN |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Bengt Jonsson 0001, Yih-Kuen Tsay |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Florian Kerber, Arjan van der Schaft |
Compositional analysis for linear control systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
linear systems, compositional reasoning, assume-guarantee reasoning, simulation relations |
19 | Tom Ridge |
Verifying distributed systems: the operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
19 | Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu |
Automated assumption generation for compositional verification. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee |
19 | Wonhong Nam, P. Madhusudan, Rajeev Alur |
Automatic symbolic compositional verification by learning assumptions. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning |
19 | Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha 0001 |
Verification of evolving software via component substitutability analysis. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning |
19 | Pavel Parízek, Frantisek Plásil |
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks |
19 | Alan Burns 0001, Tse-Min Lin |
An engineering process for the verification of real-time systems. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile |
19 | Mohsen Jahanshahi, Mohammad Reza Meybodi |
Performance Evaluation of TD-Learning Methods for Bandwidth Provisioning. |
CIT |
2007 |
DBLP DOI BibTeX RDF |
Queuing delay guarantee, DiffServ architecture, TD-learning, Bandwidth provisioning |
19 | Yaqing Huang, Roch Guérin, Pranav Gupta |
Supporting excess real-time traffic with active drop queue. |
IEEE/ACM Trans. Netw. |
2006 |
DBLP DOI BibTeX RDF |
quality-of-service (QoS), real-time application, queue management, service guarantee |
19 | Antoine Mercier 0001, Pascale Minet, Laurent George 0001 |
Worst case response times in a Bluetooth piconet: scheduling combining 1-RR or E-RR with FIFO or EDF. |
Telecommun. Syst. |
2006 |
DBLP DOI BibTeX RDF |
1-RR, E-RR, QoS, Bluetooth, EDF, FIFO, Deterministic guarantee, Worst case end-to-end response time |
19 | Joachim Giesen, Edgar A. Ramos, Bardia Sadri |
Medial axis approximation and unstable flow complex. |
SCG |
2006 |
DBLP DOI BibTeX RDF |
flow complex, stable and unstable manifolds, topological guarantee, gradient flow, medial axis approximation |
19 | Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola |
Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. |
OTM Workshops (2) |
2006 |
DBLP DOI BibTeX RDF |
Quality of service, Peer to peer system, Dynamic system, Survivability, Persistence, Core, Churn, Probabilistic guarantee |
19 | Yuming Jiang 0001 |
A basic stochastic network calculus. |
SIGCOMM |
2006 |
DBLP DOI BibTeX RDF |
independent case analysis, stochastic arrival curve, stochastic network calculus, stochastic quality of service guarantee, stochastic service curve, stochastic strict server |
19 | Andrew B. Kahng, Rasit Onur Topaloglu |
Generation of design guarantees for interconnect matching. |
SLIP |
2006 |
DBLP DOI BibTeX RDF |
design guarantee generation, interconnect matching |
19 | Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001 |
Proving correctness of highly-concurrent linearisable objects. |
PPoPP |
2006 |
DBLP DOI BibTeX RDF |
rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability |
19 | Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer |
Component Verification with Automatically Generated Assumptions. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
component verification, model checking, assume-guarantee reasoning |
19 | Yong Feng, Yan-yuan Zhang |
Virtual Disk Reconfiguration with Performance Guarantees in Shared Storage Environment. |
ICITA (2) |
2005 |
DBLP DOI BibTeX RDF |
disk reconfiguration, storage transaction, load balance, storage management, performance guarantee |
19 | Xinyu Feng 0001, Zhong Shao |
Modular verification of concurrent assembly code with dynamic thread creation and termination. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee |
19 | Steven Martin 0001, Pascale Minet |
Holistic and Trajectory Approaches for Distributed Non-preemptive FP/DP* Scheduling. |
ICN (1) |
2005 |
DBLP DOI BibTeX RDF |
trajectory approach, QoS, Fixed priority scheduling, holistic approach, deterministic guarantee, worst case end-to-end response time |
19 | Bo Li 0089, Roberto Battiti |
Analysis of the IEEE 802.11 DCF with Service Differentiation Support in Non-saturation Conditions. |
QofIS |
2004 |
DBLP DOI BibTeX RDF |
Wireless LAN, IEEE 802.11, Quality of Service Guarantee, Service Differentiation |
19 | Steven Martin 0001, Pascale Minet, Laurent George 0001 |
The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF. |
SERA |
2004 |
DBLP DOI BibTeX RDF |
Trajectory approach, end-to-end response time, quality of service, earliest deadline first, holistic approach, deterministic guarantee, fixed priority, QoS network |
19 | Bo Li 0089, Roberto Battiti |
Performance Analysis of an Enhanced IEEE 802.11 Distributed Coordination Function Supporting Service Differentiation. |
QofIS |
2003 |
DBLP DOI BibTeX RDF |
Wireless LAN, IEEE 802.11, Quality of Service Guarantee, Service Differentiation |
19 | Steven Martin 0001, Pascale Minet, Laurent George 0001 |
Deterministic End-to-End Guarantees for Real-Time Applications in a DiffServ-MPLS Domain. |
SERA |
2003 |
DBLP DOI BibTeX RDF |
EF class, QoS, admission control, MPLS, DiffServ, real-time constraints, deterministic guarantee, worst case end-to-end response time |
19 | Renaud Lepère, Christophe Rapine |
An Asymptotic O(ln rho/ln ln rho)-Approximation Algorithm for the Scheduling Problem with Duplication on Large Communication Delay Graphs. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, approximation algorithm, makespan, performance guarantee, duplication, communication times |
19 | Jin Seek Choi, Bum Sik Bae, Hyeong Ho Lee, Hyeung Sub Lee |
Round-Robin Scheduling Algorithm with Multiple Distributed Windows. |
ICOIN (2) |
2002 |
DBLP DOI BibTeX RDF |
Bandwidth guarantee, Scheduling, Quality-of-service, Round-robin, Integrated services network |
19 | Martin Skutella |
Convex quadratic and semidefinite programming relaxations in scheduling. |
J. ACM |
2001 |
DBLP DOI BibTeX RDF |
unrelated machines, approximation algorithms, randomized algorithms, convex optimization, performance guarantee, scheduling theory, worst-case ratio |
19 | Enrico Vicario |
Static Analysis and Dynamic Steering of Time-Dependent Systems. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Time-dependent systems, timeliness predictability, enumerative static analysis, dynamic task guarantee, quantitative timing estimation, Time Petri Nets, hard real-time systems |
19 | Ching-Chih Han, Chao-Ju Hou, Kar Shun Tsoi, Sean Ho |
Dynamic Establishment and Termination of Real-Time Message Streams in Dual-Bus Networks. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
Dual-bus networks, $(C,D){hbox{-}}{rm smooth}$ message model, message stream setup and tear-down, temporal QoS guarantee, distance constraint |
19 | P. Lin, Brahim Bensaou, Quan Long Ding, Kee Chaing Chua |
A wireless fair scheduling algorithm for error-prone wireless channels. |
WOWMOM |
2000 |
DBLP DOI BibTeX RDF |
error-prone channel, rate proportional guarantee, wireless fair queueing, wireless generalized processor sharing |
19 | Matthew B. Dwyer, Corina S. Pasareanu |
Model Checking Generic Container Implementations. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
generic containers, Model checking, temporal logic, assume-guarantee reasoning |
19 | K. H. Kim, Chittur Subbaraman |
Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systems. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
interconnection schemes, RTO k objects, loosely coupled real time distributed computer systems, complex real time distributed computer systems, system structuring techniques, object structuring scheme, Hitachi-UCI Data Field interprocess group communication scheme, certifiable real time DCS, object autonomy, relocation autonomy, data acceptance autonomy, design time guarantee, basic interconnection approach, operating system kernel model, DREAM kernel, guaranteed timely kernel services, multiprocessor interconnection networks, real time computing |
19 | Hiroyuki Kaneko, John A. Stankovic, Subhabrata Sen, Krithi Ramamritham |
Integrated scheduling of multimedia and hard real-time tasks. |
RTSS |
1996 |
DBLP DOI BibTeX RDF |
integrated multimedia/hard real-time task scheduling, real-time control processing, hard real-time computation, multimedia soft real-time computation, multimedia server execution, multiprocessor real-time operating systems, multiple periodic multimedia streams, graceful QoS degradation, system overload, multimedia server scheduling algorithms, algorithm performance evaluation, SGI IRIX/REACT/PRO operating system, processor scheduling, multimedia processing, guarantee |
19 | Injong Rhee |
Optimizing a FIFO, scalable spin lock using consistent memory. |
RTSS |
1996 |
DBLP DOI BibTeX RDF |
FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations |
19 | Stuart Shih, Young-Kuk Kim, Sang Hyuk Son |
Performance evaluation of a firm real-time database system. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
firm real-time database system, criticality characteristics, StarBase, deadline guarantee ratio, performance evaluation, performance evaluation, real-time systems, timing, database management systems, average response times |
19 | B. M. Subraya, Anshul Kumar, Shashi Kumar |
An HOL based framework for design of correct high level synthesizers. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
HOL based framework, high level synthesizer design, design correctness guarantee, verifiable templates, synthesis module correctness, formal verification, high level synthesis, modularity, formal logic, higher order logic, verification process, formal framework |
18 | Vivekanand Gopalkrishnan |
Querying time-series streams. |
EDBT |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Dingel |
Compositional Analysis of C/C++ Programs with VeriSoft. |
Acta Informatica |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jian Li 0021, Yeqiong Song |
DLB: A Novel Real-time QoS Control Mechanism for Multimedia Transmission. |
AINA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak |
From Session Causality to Causal Consistency. |
PDP |
2004 |
DBLP DOI BibTeX RDF |
remote objects, shared objects, consistency models, session guarantees |
18 | Takao Asano |
An Improved Analysis of Goemans and Williamson's LP-Relaxation for MAX SAT. |
FCT |
2003 |
DBLP DOI BibTeX RDF |
Approximation algorithm, LP-relaxation, MAX SAT |
18 | Danai Patiyoot |
Migration / Evolution of security towards wireless ATM. |
ACM SIGOPS Oper. Syst. Rev. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Shibin Song, Joseph Kee-Yin Ng, Bihai Tang |
Statistical Delay Analysis with Self-Similar Input Traffic in ATM Networks. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Real-Time ATM Networks, Statistical Delay Analysis, Efficient Delay Computation, Performance Evaluation, Self-similar Traffic |
16 | Nararat Ruangchaijatupon, Yusheng Ji |
Proportional fairness with minimum rate guarantee scheduling in a multiuser OFDMA wireless network. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
scheduling, QoS, resource allocation, WiMAX, OFDMA, IEEE 802.16, proportional fairness |
16 | Mohammed Hussain, David B. Skillicorn |
Guarantee-Based Access Control. |
CSE (3) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Liliana D'Errico, Michele Loreti |
Assume-Guarantee Verification of Concurrent Systems. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
16 | He Zhu 0001, Fei He 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001 |
Data mining based decomposition for assume-guarantee reasoning. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham |
Assume-guarantee validation for STE properties within an SVA environment. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Hasan Amjad, Richard Bornat |
Towards Automatic Stability Analysis for Rely-Guarantee Proofs. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chi-Yin Chow, Mohamed F. Mokbel, Joe Naps, Suman Nath |
Approximate Evaluation of Range Nearest Neighbor Queries with Quality Guarantee. |
SSTD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Joaquín García-Alfaro, Nora Boulahia-Cuppens, Frédéric Cuppens |
Complete analysis of configuration rules to guarantee reliable network security policies. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
Policy anomalies, Network security, Intrusion Detection systems, Firewalls |
16 | Qinglin Zhao, Danny H. K. Tsang |
An Equal-Spacing-Based Design for QoS Guarantee in IEEE 802.11e HCCA Wireless Networks. |
IEEE Trans. Mob. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Grace A. Lewis, Edwin J. Morris, Soumya Simanta, Lutz Wrage |
Why Standards Are Not Enough to Guarantee End-to-End Interoperability. |
ICCBSS |
2008 |
DBLP DOI BibTeX RDF |
standards system-of-systems interoperability |
16 | Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu |
Assume-Guarantee Verification for Interface Automata. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Alireza Attar, Mohammad Reza Nakhai, A. Hamid Aghvami |
Cognitive Radio Game: A Framework for Efficiency, Fairness and QoS Guarantee. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Han Qiu 0004, Yufeng Li 0002, Jiangxing Wu, Xiaozhuo Gu |
Compensation Buffer Sizing for Providing User-Level QoS Guarantee of Media Flows. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Anding Wang, Yuyang Qiu, Lili Lin, Shiju Li |
An Adaptive Sub-carrier and Power Allocation Algorithm with QoS Guarantee for OFDMA System. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Lei Yao, Guanzhong Dai, Huixiang Zhang, Shuai Ren |
Guarantee the Victorious Probability of Grid Resources in the Competition for Finite Tasks. |
GPC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jinho Hwang, Nakpo Kim, Sangyong Kang, Jongseog Koh |
A Framework for IMS Interworking Networks with Quality of Service Guarantee. |
ICN |
2008 |
DBLP DOI BibTeX RDF |
IP interworking, e2e QoS, IP backbone, IMS |
16 | Xiliang Zhong, Cheng-Zhong Xu 0001 |
Energy-Aware Modeling and Scheduling for Dynamic Voltage Scaling with Statistical Real-Time Guarantee. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
Real-time systems, dynamic voltage scaling, dynamic power management, power-aware scheduling |
16 | Cecilia Metra, Daniele Rossi 0001, T. M. Mak |
Won't On-Chip Clock Calibration Guarantee Performance Boost and Product Quality?. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, Reliability, VLSI, testing |
16 | Chunming Gao, Weian Chen, Huowang Chen |
A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Myeong-Soo Cheong, Byun-Gon Kim, Ce Pan, Kyung-Taek Chung, Ki-Hyun Pyun, Sang-Tae Lee, Byoung-Sil Chon |
A New Packet Marking Scheme with Fairness Guarantee for DiffServ Network. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sagar Chaki, Ofer Strichman |
Optimized L*-Based Assume-Guarantee Reasoning. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Guillaume Sandou, Stéphane Font, Sihem Tebbani, Arnaud Hiret, Christian Mondon |
Enhanced Genetic Algorithm with Guarantee of Feasibility for the Unit Commitment Problem. |
Artificial Evolution |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Tat-Chung Chau, K. Y. Michael Wong, Bo Li 0001 |
Optimal call admission control with QoS guarantee in a voice/data integrated cellular network. |
IEEE Trans. Wirel. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Ming Xiong, BiYu Liang, Kam-yiu Lam, Yang Guo |
Quality of Service Guarantee for Temporal Consistency of Real-Time Transactions. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
probabilistic temporal consistency, quality of service, Real-time database, transactions scheduling |
16 | Chiheb Mahmoud, Frédéric Dimanche |
Best Price Guarantee Clauses: French Riviera Hotels versus Web Based Intermediaries. |
ENTER |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jian Zhang, Maxweel Carmo, Marília Curado, Jorge Sá Silva, Fernando Boavida |
Scalable Quantitative Delay Guarantee Support in DiffServ Networks Through NSIS. |
Networking |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Wonhong Nam, Rajeev Alur |
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Mikyung Kang, Abhijit Saha, Junghoon Lee, Gyung-Leen Park, Hanil Kim |
A Real-Time Guarantee Scheme Based on the Runtime Message Scheduling and Error Control for the Dual Wireless Ad Hoc Sensor Network. |
ICDCN |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Xuan-Hong Dang, Wee Keong Ng, Kok-Leong Ong |
EStream: Online Mining of Frequent Sets with Precise Error Guarantee. |
DaWaK |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jerzy Brzezinski, Anna Kobusinska, Michal Szychowiak |
Checkpointing and rollback-recovery protocol for mobile systems with MW session guarantee. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto |
Power-Aware Resource Allocation with Fair QoS Guarantee. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Fumio Machida, Masahiro Kawato, Yoshiharu Maeno |
Guarantee of Freshness in Resource Information Cache on WSPE: Web Service Polling Engine. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
16 | José Manuel Claver, Manel Canseco, P. Agustí, Germán León |
A Hardware NIC Scheduler to Guarantee QoS on High Performance Servers. |
ISPA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Gustavo Hernandez, Gérard Lachiver |
Biunivocal Relation Between TSK Fuzzy Controller and PID Controller and, Guarantee and Manipulation of the Stability for the Proposed Fuzzy Controller. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Xiaofang Chen, Yu Yang 0013, Ganesh Gopalakrishnan, Ching-Tsun Chou |
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Chen Dong, Jiandong Li 0001, Jing Ma |
Multiple access protocol for WLAN based on adaptive token passing with fairness guarantee. |
AINA (2) |
2006 |
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. |
IEEE Trans. Mob. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Mobile computing, wireless communication, 3G, WCDMA, personal communication services, OVSF |
16 | Heasook Park, KapDong Kim, HaeSook Kim, Cheong Youn |
A Study on Bandwidth Guarantee Method of Subscriber Based DiffServ in Access Network. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning-Based Assume-Guarantee Verification (Tool Paper). |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Linwei Niu, Gang Quan |
A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Tamal K. Dey, Wulue Zhao |
Approximating the Medial Axis from the Voronoi Diagram with a Convergence Guarantee. |
Algorithmica |
2004 |
DBLP DOI BibTeX RDF |
Samples, Geometric modeling, Voronoi diagram, Delaunay triangulation, Medial axis |
16 | Francisco José Alfaro, José L. Sánchez 0002 |
Tuning Buffer Size in InfiniBand to Guarantee QoS. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ming Li 0007, Hua Zhu, Sathish Sathyamurthy, Imrich Chlamtac, Balakrishnan Prabhakaran 0001 |
End-to-End Framework for QoS Guarantee in Heterogeneous Wired-cum-Wireless Networks. |
QSHINE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Huayong Wang, Yiqi Dai |
An Information Search Interface with Soft Real-time Guarantee. |
ITCC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh |
Assume-Guarantee Verification of Source Code with Design-Level Assumptions. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Kil-Woong Jang |
A New Backoff Algorithm to Guarantee Quality of Service over IEEE 802.11 Wireless Local Area Networks. |
WONS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 9063 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|