The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for LIFO with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1991 (16) 1992-2000 (17) 2001-2008 (18) 2009-2011 (18) 2012-2019 (17) 2020-2023 (8)
Publication types (Num. hits)
article(50) inproceedings(43) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 99 occurrences of 89 keywords

Results
Found 94 publication records. Showing 94 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
116Mainak Chaudhuri Pseudo-LIFO: the foundation of a new family of replacement policies for last-level caches. Search on Bibsonomy MICRO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF chip-multiprocessor, replacement policy, last-level cache
91Lars W. Hagen, Dennis J.-H. Huang, Andrew B. Kahng On implementation choices for iterative improvement partitioning algorithms. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
62Vipul Mathur, Varsha Apte An overhead and resource contention aware analytical model for overloaded web servers. Search on Bibsonomy WOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model, Markov chain, queueing theory, web server, resource sharing, overload, analytical, LIFO
62Ilias Iliadis, Steve W. Fuhrmann Moment relationships for queues with Poisson input. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF server vacations, priorities, Moments, polling, FIFO, LIFO
44Po-Kai Huang, Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee Recursive Constructions of Parallel FIFO and LIFO Queues With Switched Delay Lines. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Y. Morihiro, T. Toneda Formal verification of data-path circuits based on symbolic simulation. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF data-path circuits, symbolic values, transition relation extraction, state graph, input vector sequences, FIFO circuits, LIFO circuits, formal verification, formal verification, graph theory, specification, logic simulation, logic simulation, symbol manipulation, symbolic simulation, Unix workstation
44Chia-Li Wang, Ronald W. Wolff The M/G/c queue in light traffic. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF M/G/c queues, light traffic limit theorems, single crossing, preemptive LIFO, work in system, approximations, bounds
36Matthew Fluet, Greg Morrisett, Amal J. Ahmed 0001 Linear Regions Are All You Need. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Olivier Beaumont, Loris Marchal, Yves Robert Scheduling Divisible Loads with Return Messages on Heterogeneous Master-Worker Platforms. Search on Bibsonomy HiPC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi Deterministic Parsing for Augmented Context-free Grammars. Search on Bibsonomy MFCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26Xiaofeng Xu, Zhifei Wei Dynamic pickup and delivery problem with transshipments and LIFO constraints. Search on Bibsonomy Comput. Ind. Eng. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Ulrich Pferschy, Julia Resch, Giovanni Righini Algorithms for rescheduling jobs with a LIFO buffer to minimize the weighted number of late jobs. Search on Bibsonomy J. Sched. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Steven Finch M/D/1 Queues with LIFO and SIRO Policies. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Enzo Baccarelli, Michele Scarpiniti, Alireza Momenzadeh, Sima Sarv Ahrabi Learning-in-the-Fog (LiFo): Deep Learning Meets Fog Computing for the Minimum-Energy Distributed Early-Exit of Inference in Delay-Critical IoT Realms. Search on Bibsonomy IEEE Access The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Maury Bramson Instability of LIFO queueing networks. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Gaia Nicosia, Andrea Pacifici, Ulrich Pferschy, Julia Resch, Giovanni Righini Optimally rescheduling jobs with a LIFO buffer. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
26Bo Peng 0010, Yuan Zhang, Zhipeng Lü, T. C. E. Cheng, Fred W. Glover A learning-based memetic algorithm for the multiple vehicle pickup and delivery problem with LIFO loading. Search on Bibsonomy Comput. Ind. Eng. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Yair Liberman, Uri Yechiali Quality-Dependent Stochastic Networks: Is FIFO Always Better Than LIFO? Search on Bibsonomy VALUETOOLS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Fagui Liu, Mengke Gui, Chen Yi, Yulin Lan A Fast Decomposition and Reconstruction Framework for the Pickup and Delivery Problem With Time Windows and LIFO Loading. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Illés Horváth, Rostislav Razumchik, Miklós Telek The resampling M/G/1 non-preemptive LIFO queue and its application to systems with uncertain service time. Search on Bibsonomy Perform. Evaluation The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Luis Sermeño, Jimmy Orellana, Juan Eyzaguirre, Carlos Raymundo Improvement of Attention Times and Efficiency of Container Movements in a Port Terminal Using a Truck Appointment System, LIFO Management and Poka Yoke. Search on Bibsonomy IHIET The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Feng Zhang, Bin Li 0025, Kun Qian A Grouping Genetic Algorithm Based on the GES Local Search for Pickup and Delivery Problem with Time Windows and LIFO Loading. Search on Bibsonomy ICIC (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Søren Asmussen, Peter W. Glynn On preemptive-repeat LIFO queues. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Rostislav Razumchik, Miklós Telek Delay Analysis of Resequencing Buffer in Markov Environment with HOQ-FIFO-LIFO Policy. Search on Bibsonomy EPEW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Alexander N. Dudin, Valentina I. Klimenok, Konstantin E. Samouylov Stationary Distribution of Waiting Time in MAP/G/1/N Queueing System with LIFO Service Discipline. Search on Bibsonomy WWIC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Wei Si, David Starobinski, Morteza Hashemi, Moshe Laifenfeld, Ari Trachtenberg Channel Sensitivity of LIFO-Backpressure: Quirks and Improvements. Search on Bibsonomy IEEE Trans. Control. Netw. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Shih-Chun Lin, Pu Wang 0001, Ian F. Akyildiz, Min Luo 0001 Throughput-Optimal LIFO Policy for Bounded Delay in the Presence of Heavy-Tailed Traffic. Search on Bibsonomy GLOBECOM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Marilène Cherkesly, Guy Desaulniers, Gilbert Laporte A population-based metaheuristic for the pickup and delivery problem with time windows and LIFO loading. Search on Bibsonomy Comput. Oper. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Enrique Benavent, Mercedes Landete, Enrique Mota, Gregorio Tirado The multiple vehicle pickup and delivery problem with LIFO constraints. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Lijun Wei, Hu Qin, Wenbin Zhu, Long Wan A study of perturbation operators for the pickup and delivery traveling salesman problem with LIFO or FIFO loading. Search on Bibsonomy J. Heuristics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Vicente Casares Giner, Víctor-M. Sempere-Payá, David Todolí Ferrandis Framed ALOHA Protocol with FIFO-Blocking and LIFO-Push out Discipline. Search on Bibsonomy Netw. Protoc. Algorithms The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Andrew V. Sokolov, A. V. Drac The linked list representation of n LIFO-stacks and/or FIFO-queues in the single-level memory. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Longbo Huang, Scott Moeller, Michael J. Neely, Bhaskar Krishnamachari LIFO-Backpressure Achieves Near-Optimal Utility-Delay Tradeoff. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Wei Si, David Starobinski On the channel-sensitive delay behavior of LIFO-backpressure. Search on Bibsonomy Allerton The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Archontia C. Giannopoulou, Paul Hunter, Dimitrios M. Thilikos LIFO-search: A min-max theorem and a searching game for cycle-rank and tree-depth. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Archontia C. Giannopoulou, Dimitrios M. Thilikos A min-max theorem for LIFO-search. Search on Bibsonomy Electron. Notes Discret. Math. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Paul Hunter LIFO-search on digraphs: A searching game for cycle-rank Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
26Yongquan Li, Andrew Lim 0001, Wee-Chong Oon, Hu Qin, Dejian Tu The tree representation for the pickup and delivery traveling salesman problem with LIFO loading. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Xiaoliang Wang 0001, Xiaohong Jiang 0001, Achille Pattavina Efficient Designs of Optical LIFO Buffer with Switches and Fiber Delay Lines. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Xiaoliang Wang 0001, Xiaohong Jiang 0001, Achille Pattavina An improved design of optical LIFO buffer with switched delay lines. Search on Bibsonomy HPSR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Paul Hunter LIFO-Search on Digraphs: A Searching Game for Cycle-Rank. Search on Bibsonomy FCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Xiang Gao, Andrew Lim 0001, Hu Qin, Wenbin Zhu Multiple Pickup and Delivery TSP with LIFO and Distance Constraints: A VNS Approach. Search on Bibsonomy IEA/AIE (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Longbo Huang, Scott Moeller, Michael J. Neely, Bhaskar Krishnamachari LIFO-Backpressure achieves near optimal utility-delay tradeoff. Search on Bibsonomy WiOpt The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Jean-François Cordeau, Manuel Iori, Gilbert Laporte, Juan José Salazar González A branch-and-cut algorithm for the pickup and delivery traveling salesman problem with LIFO loading. Search on Bibsonomy Networks The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Alexander Pechinkin, Sergey Shorgin A Geom/G/1/n Queueing System with LIFO Discipline, Service Interruptions and Repeat Again Service, and Restrictions on the Total Volume of Demands. Search on Bibsonomy MACOM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Dejian Tu, Songshan Guo, Hu Qin, Wee-Chong Oon, Andrew Lim 0001 The Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee SDL Constructions of FIFO, LIFO and Absolute Contractors. Search on Bibsonomy INFOCOM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Francesco Carrabs, Jean-François Cordeau, Gilbert Laporte Variable Neighborhood Search for the Pickup and Delivery Traveling Salesman Problem with LIFO Loading. Search on Bibsonomy INFORMS J. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Francesco Carrabs, Raffaele Cerulli, Jean-François Cordeau An Additive Branch-and-Bound Algorithm for the Pickup and Delivery Traveling Salesman Problem with LIFO or FIFO Loading. Search on Bibsonomy INFOR Inf. Syst. Oper. Res. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Naresh Singhmar, Vipul Mathur, Varsha Apte, D. Manjunath A Combined LIFO-Priority Scheme for Overload Control of E-commerce Web Servers Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
26Gregory Levitin, R. Abezgaouz Optimal routing of multiple-load AGV subject to LIFO loading constraints. Search on Bibsonomy Comput. Oper. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Yong-Wu Zhou, Shanlin Yang An optimal replenishment policy for items with inventory-level-dependent demand and fixed lifetime under the LIFO policy. Search on Bibsonomy J. Oper. Res. Soc. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Atsushi Hashimoto 0004, J. Kim, Yoshinao Aoki, Alexander Burger A proposal of avatar language with Lifo for communication through linguistic barrier. Search on Bibsonomy ICECS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Joseph Abate, Ward Whitt Limits and approximations for the M/G/1 LIFO waiting-time distribution. Search on Bibsonomy Oper. Res. Lett. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Joseph Abate, Gagan L. Choudhury, Ward Whitt Calculating the M/G/1 busy-period density and LIFO waiting-time distribution by direct numerical transform inversion. Search on Bibsonomy Oper. Res. Lett. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26Eitan Rosenberg, Uri Yechiali The Mx/G/1 queue with single and multiple vacations under the LIFO service regime. Search on Bibsonomy Oper. Res. Lett. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Mireille Ducassé, Gérard Ferrand (eds.) Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6 Search on Bibsonomy LPE The full citation details ... 1991 DBLP  BibTeX  RDF
26José Paulo Leal, Luís Damas, Nelma Moreira An History Based Interface. Search on Bibsonomy LPE The full citation details ... 1991 DBLP  BibTeX  RDF
26Mireille Ducassé Analysis of Failing Prolog Executions. Search on Bibsonomy LPE The full citation details ... 1991 DBLP  BibTeX  RDF
26Michel Rueher Revisiting Capabilities of Graphic for Logic Programming. Search on Bibsonomy LPE The full citation details ... 1991 DBLP  BibTeX  RDF
26Santos Gerardo Lazzeri VIZZPROL: A Tool for Visualizing Prolog Programs. Search on Bibsonomy LPE The full citation details ... 1991 DBLP  BibTeX  RDF
26Rajiv Trehan A Process Based Tracer for KL1 on PIM. Search on Bibsonomy LPE The full citation details ... 1991 DBLP  BibTeX  RDF
26Kurt VanLehn, William Ball, Bernadette Kowalski Non-LIFO Execution of Cognitive Procedures. Search on Bibsonomy Cogn. Sci. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
26Shun-Chen Niu Representing Workloads in GI/G/1 Queues Through the Preemptive-Resume LIFO Queue Discipline. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
26Stefano Pallottino, Tommaso Toffoli An Efficient Algorithm for Determining the Length of the Longest Dead Path in a "LIFO" Branch-and-Bound Exploration Schema. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
26Morris A. Cohen, Gregory P. Prastacos Critical number ordering policy for LIFO perishable inventory systems. Search on Bibsonomy Comput. Oper. Res. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
26Wolfgang Panny Ein LIFO Branch and Bound Verfahren zur optimalen Altstoffbehälterallokation. Search on Bibsonomy Z. Oper. Research The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
26Paul E. Peters Delays for a LIFO Queue with Constant Service Time. Search on Bibsonomy Oper. Res. The full citation details ... 1968 DBLP  DOI  BibTeX  RDF
26Jo C. Ebergen, Daniel F. Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins 0001 An Evaluation of Asynchronous Stacks. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF static-energy consumption, dynamic-energy consumption, asynchronous circuits, stack, design and test, LIFO
26Steve W. Fuhrmann, Ilias Iliadis A comparison of three random disciplines. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ROS, queueing disciplines, second moments, FIFO, disciplines, service disciplines, LIFO
26François Baccelli, Zhen Liu 0001, Donald F. Towsley Extremal Scheduling of Parallel Processing with and without Real-Time Constraints. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF LCFS, Schur convex ordering, convex ordering, convex symmetric ordering, extremal policy, local order preserving, longest due time first, shortest due time first, parallel processing, throughput, response time, precedence constraints, FIFO, real-time constraints, optimal scheduling, dateness, stochastic ordering, FCFS, LIFO
26Donald M. Topkis All-to-All Broadcast by Flooding in Communications Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF worst-case time complexity, simultaneous broadcast, suboptimality, spanning subtree, computational complexity, computer networks, communications networks, adaptive routing, flooding, FIFO, ARPANET, all-to-all broadcast, LIFO
26Werner E. Kluge Data File Management in Shift Register Memories. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF LIFO/FIFO operation modes, management of sequentially organized files, record retrieval, updating, insertion, data transformations, deletion, relocation, shift-register memories
18Scott Moeller, Avinash Sridharan, Bhaskar Krishnamachari, Omprakash Gnawali Routing without routes: the backpressure collection protocol. Search on Bibsonomy IPSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF stochastic network optimization, testbed experiments, wireless sensor networks, routing protocol, collection
18Maury Bramson, Yi Lu 0001, Balaji Prabhakar Randomized load balancing with general service time distributions. Search on Bibsonomy SIGMETRICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF asymptotic independence, load balancing, randomized algorithms
18Sophie Toulouse, Roberto Wolfler Calvo On the Complexity of the Multiple Stack TSP, kSTSP. Search on Bibsonomy TAMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat Idempotent work stealing. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF memory barrier, memory fence, atomic, work stealing
18Jay Cheng Constructions of Optical 2-to-1 FIFO Multiplexers With a Limited Number of Recirculations. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Vijay Erramilli, Mark Crovella Forwarding in opportunistic networks with resource constraints. Search on Bibsonomy Challenged Networks The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mobile opportunistic networks, delay tolerant networks, pocket switched networks, forwarding algorithms
18Andrei Paun, Mihaela Paun, Alfonso Rodríguez-Patón Hopcroft's Minimization Technique: Queues or Stacks?. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Abhay Ghatpande, Hidenori Nakazato, Hiroshi Watanabe, Olivier Beaumont Divisible Load Scheduling with Result Collection on Heterogeneous Systems. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Oleg Kiselyov, Chung-chieh Shan Lightweight monadic regions. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
18Natalie M. Steiger, Emily K. Lada, James R. Wilson Performance evaluation of ASAP3 for steady-state output analysis. Search on Bibsonomy WSC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Wen-Ta Lee, San-Ho Lin, Chia-Chun Tsai, Trong-Yen Lee, Yuh-Shyan Hwang A new low-power turbo decoder using HDA-DHDD stopping iteration. Search on Bibsonomy ISCAS (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit Using elimination to implement scalable and lock-free FIFO queues. Search on Bibsonomy SPAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination
18R. Radhakrishna Pillai A distributed overload control algorithm for delay-bounded call setup. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Call overload control, signaling performance, distributed algorithm, communication networks
18Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah On Solving Stack-Based Incremental Satisfiability Problems. Search on Bibsonomy ICCD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Ioannis Caragiannis, Christos Kaklamanis, Ioannis Vergados Greedy Dynamic Hot-Potato Routing on Arrays. Search on Bibsonomy ISPAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. Search on Bibsonomy FCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Jan Jonsson, Kang G. Shin A Parametrized Branch-and-Bound Strategy for Scheduling Precedence-Constrained Tasks on a Multiprocessor System. Search on Bibsonomy ICPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF real-time scheduling precedence-constrained tasks, branch-and-bound strategy, multiprocessor systems, hard real-time systems
18Henry G. Baker CONS should not CONS its arguments, or, a lazy alloc is a smart alloc. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
18Adam Rifkin The utility of foresight in single server scheduling. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1992 DBLP  DOI  BibTeX  RDF discrete-event simulation, scheduling theory, single server queue
18J. Eliot B. Moss Managing stack frames in Smalltalk. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Smalltalk
18Ana R. Cavalli A method of automatic proof for the specification and verification of protocols. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF Automatic proofs, Protocols, Specifications, Temporal logic, Safety, Queue, Resolution, Liveness
Displaying result #1 - #94 of 94 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license