|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004, pp. 116-123, 2004, ACM, 1-58113-890-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing, International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings, pp. 755-764, 2004, Springer, 3-540-22906-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Patrick Maier 0001 |
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 343-357, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Yuming Jiang 0001 |
Per-domain Packet Scale Rate Guarantee for Expedited Forwarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: Quality of Service - IWQoS 2003, 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings, pp. 422-439, 2003, Springer, 3-540-40281-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jürgen Dingel |
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 138-148, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(4), pp. 529-540, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 665-668, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 9(3), pp. 322-335, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (2) ![In: Networking - ICN 2001, First International Conference, Colmar, France, July 9-13, 2001 Proceedings, Part 2, pp. 61-70, 2001, Springer, 3-540-42303-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
You Assume, We Guarantee: Methodology and Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 440-451, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 22nd IEEE Conference on Local Computer Networks (LCN '97), 2-5 November 1997, Minneapolis, Minnesota, USA, Proceedings, pp. 432-440, 1997, IEEE Computer Society, 0-8186-8141-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Bengt Jonsson 0001, Yih-Kuen Tsay |
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 262-276, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Florian Kerber, Arjan van der Schaft |
Compositional analysis for linear control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 21-30, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
linear systems, compositional reasoning, assume-guarantee reasoning, simulation relations |
19 | Tom Ridge |
Verifying distributed systems: the operational approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 429-440, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(3), pp. 285-301, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(3), pp. 207-234, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(3), pp. 235-266, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 2-21, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(1), pp. 111-136, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Seventh International Conference on Computer and Information Technology (CIT 2007), October 16-19, 2007, University of Aizu, Fukushima, Japan, pp. 171-176, 2007, IEEE Computer Society, 978-0-7695-2983-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(5), pp. 965-977, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 33(1-3), pp. 187-213, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 22nd ACM Symposium on Computational Geometry, Sedona, Arizona, USA, June 5-7, 2006, pp. 327-336, 2006, ACM, 1-59593-340-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II, pp. 1470-1479, 2006, Springer, 3-540-48273-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Pisa, Italy, September 11-15, 2006, pp. 123-134, 2006, ACM, 1-59593-308-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLIP ![In: The Eigth International Workshop on System-Level Interconnect Prediction (SLIP 2006), Munich, Germany, March 4-5, 2006, Proceedings, pp. 29-34, 2006, ACM, 1-59593-255-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 129-136, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 12(3), pp. 297-320, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (2) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 69-74, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 254-267, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (1) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part I, pp. 296-305, 2005, Springer, 3-540-25339-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS ![In: Quality of Service in the Emerging Networking Panorama: Fifth International Workshop on Quality of Future Internet Services, QofIS 2004 and First Workshop on Quality of Service Routing WQoSR 2004 and Fourth International Workshop on Internet Charging and QoS Technology, ICQT 2004, Barcelona, Catalonia, Spain, September 29 - October 1, 2004, Proceedings, pp. 64-73, 2004, Springer, 3-540-23238-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Software Engineering Research, Management and Applications, Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Selected Revised Papers, pp. 229-247, 2004, Springer, 3-540-32133-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS ![In: Quality for All, 4th COST 263 International Workshop on Quality of Future, Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003, Proceedings, pp. 152-161, 2003, Springer, 3-540-20192-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Software Engineering Research and Applications, First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers, pp. 51-73, 2003, Springer, 3-540-21975-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 154-165, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN (2) ![In: Information Networking, Wireless Communications Technologies and Network Applications, International Conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002, Revised Papers, Part II, pp. 814-820, 2002, Springer, 3-540-44255-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(2), pp. 206-242, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(8), pp. 728-748, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(10), pp. 1110-1119, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: Proceedings of the Third ACM International Workshop on Wireless Mobile Multimedia, WOWMOM 2000, Boston, Massachusetts, USA, August 11, 2000, pp. 11-20, 2000, ACM, 1-58113-302-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 162-177, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 121-128, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 206-217, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 106-114, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 116-124, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 249-254, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2008, 11th International Conference on Extending Database Technology, Nantes, France, March 25-29, 2008, Proceedings, pp. 547-558, 2008, ACM, 978-1-59593-926-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Dingel |
Compositional Analysis of C/C++ Programs with VeriSoft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 43(1), pp. 45-71, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jian Li 0021, Yeqiong Song |
DLB: A Novel Real-time QoS Control Mechanism for Multimedia Transmission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (1) ![In: 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 18-20 April 2006, Vienna, Austria, pp. 185-190, 2006, IEEE Computer Society, 0-7695-2466-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak |
From Session Causality to Causal Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 12th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2004), 11-13 February 2004, A Coruna, Spain, pp. 152-158, 2004, IEEE Computer Society, 0-7695-2083-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings, pp. 2-14, 2003, Springer, 3-540-40543-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Approximation algorithm, LP-relaxation, MAX SAT |
18 | Danai Patiyoot |
Migration / Evolution of security towards wireless ATM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 36(1), pp. 23-30, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 133-140, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 1102-1106, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (3) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 201-206, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Liliana D'Errico, Michele Loreti |
Assume-Guarantee Verification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 288-305, 2009, Springer, 978-3-642-02052-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 116-119, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham |
Assume-guarantee validation for STE properties within an SVA environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 108-115, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Hasan Amjad, Richard Bornat |
Towards Automatic Stability Analysis for Rely-Guarantee Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 14-28, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSTD ![In: Advances in Spatial and Temporal Databases, 11th International Symposium, SSTD 2009, Aalborg, Denmark, July 8-10, 2009, Proceedings, pp. 283-301, 2009, Springer, 978-3-642-02981-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 7(2), pp. 103-122, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 7(12), pp. 1474-1490, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), February, 25-29, 2008, Madrid, Spain, Proceedings, pp. 164-173, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
standards system-of-systems interoperability |
16 | Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu |
Assume-Guarantee Verification for Interface Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 116-131, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 4170-4174, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 90-94, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: 10th IEEE International Conference on High Performance Computing and Communications, HPCC 2008, 25-27 Sept. 2008, Dalian, China, pp. 492-497, 2008, IEEE Computer Society, 978-0-7695-3352-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings, pp. 140-151, 2008, Springer, 978-3-540-68081-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Seventh International Conference on Networking (ICN 2008), 13-18 April 2008, Cancun, Mexico, pp. 454-459, 2008, IEEE Computer Society, 978-0-7695-3106-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(3), pp. 358-372, 2007. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(3), pp. 415-428, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 1158-1159, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, ICME 2007, July 2-5, 2007, Beijing, China, pp. 2170-2173, 2007, IEEE Computer Society, 1-4244-1017-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sagar Chaki, Ofer Strichman |
Optimized L*-Based Assume-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 276-291, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Evolution ![In: Artificial Evolution, 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers, pp. 291-302, 2007, Springer, 978-3-540-79304-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 5(5), pp. 1133-1141, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(8), pp. 1097-1110, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENTER ![In: Information and Communication Technologies in Tourism, ENTER 2006, Proceedings of the International Conference in Lausanne, Switzerland, 2006, pp. 235, 2006, Springer, 978-3-211-30987-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2006 - Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006, Proceedings, pp. 1228-1233, 2006, Springer, 3-540-34192-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Wonhong Nam, Rajeev Alur |
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 170-185, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006., pp. 15-26, 2006, Springer, 3-540-68139-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings., pp. 312-321, 2006, Springer, 3-540-37736-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jerzy Brzezinski, Anna Kobusinska, Michal Szychowiak |
Checkpointing and rollback-recovery protocol for mobile systems with MW session guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto |
Power-Aware Resource Allocation with Fair QoS Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia, pp. 287-293, 2006, IEEE Computer Society, 0-7695-2676-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore, pp. 131-134, 2006, IEEE Computer Society, 0-7695-2585-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings, pp. 86-97, 2006, Springer, 3-540-68067-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 562-566, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 81-88, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 18-20 April 2006, Vienna, Austria, pp. 839-843, 2006, IEEE Computer Society, 0-7695-2466-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 4(5), pp. 420-429, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings, pp. 93-98, 2005, Springer, 3-540-29031-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning-Based Assume-Guarantee Verification (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, pp. 282-287, 2005, Springer, 3-540-28195-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Linwei Niu, Gang Quan |
A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 6-8 December 2005, Miami, FL, USA, pp. 356-365, 2005, IEEE Computer Society, 0-7695-2490-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Tamal K. Dey, Wulue Zhao |
Approximating the Medial Axis from the Voronoi Diagram with a Convergence Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 38(1), pp. 179-200, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings, pp. 873-881, 2004, Springer, 3-540-22924-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: 1st International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2004), 18-20 October 2004, Dallas, TX, USA, pp. 140-147, 2004, IEEE Computer Society, 0-7695-2233-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Huayong Wang, Yiqi Dai |
An Information Search Interface with Soft Real-time Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 2, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 820-, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh |
Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 211-220, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WONS ![In: Wireless On-Demand Network Systems, First IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004, Proceedings, pp. 371-376, 2004, Springer, 3-540-20790-2. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|