Search results for "Preemption"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Stéphane Donikian	HPTS: a behaviour modelling language for autonomous agents.	Agents	2001	DBLP DOI BibTeX RDF	behaviour modelling language, agent architectures, believability, synthetic agents
10	Avrim Blum, Adam Kalai, Jon M. Kleinberg	Admission Control to Minimize Rejections.	WADS	2001	DBLP DOI BibTeX RDF
10	Gaeil Ahn, Woojik Chun	Design and Implementation of MPLS Network Simulator (MNS) Supporting QoS.	ICOIN	2001	DBLP DOI BibTeX RDF
10	Horst F. Wedde, Sabine Böhm, Wolfgang Freund	Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects.	WORDS	2001	DBLP DOI BibTeX RDF	adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems
10	Vikram Iyengar, Krishnendu Chakrabarty	Precedence-Based, Preemptive, and Power-Constrained Test Scheduling for System-on-a-Chip.	VTS	2001	DBLP DOI BibTeX RDF
10	Anupam Datta, Sidharth Choudhury, Anupam Basu, Hiroyuki Tomiyama, Nikil D. Dutt	Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique.	VLSI Design	2001	DBLP DOI BibTeX RDF
10	Victor B. Lortz, Kang G. Shin, Jinho Kim	MDARTS: A Multiprocessor Database Architecture for Hard Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	exemplar-based programming, atomic data types, concurrency control, shared memory, object-oriented systems, Real-time databases, semantic constraints
10	Colin J. Fidge	The Algebra of Multi-tasking.	AMAST	2000	DBLP DOI BibTeX RDF
10	Marjan van den Akker 0001, Han Hoogeveen, Nodari Vakhania	Restarts Can Help in the On-Line Minimization of the Maximum Delivery Time on a Single Machine.	ESA	2000	DBLP DOI BibTeX RDF	worstcase analysis, on-line algorithm, single-machine scheduling, restart
10	Bala Kalyanasundaram, Kirk Pruhs, Mahendran Velauthapillai	Scheduling Broadcasts in Wireless Networks.	ESA	2000	DBLP DOI BibTeX RDF
10	Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar 0001, Insup Lee 0001	Modular Specification of Hybrid Systems in CHARON.	HSCC	2000	DBLP DOI BibTeX RDF
10	Charles André, Marie-Agnès Peraldi-Frati	Behavioral Specification of a Circuit Using SyncCharts: A Case Study.	EUROMICRO	2000	DBLP DOI BibTeX RDF
10	Karine Altisen, Gregor Gößler, Joseph Sifakis	A Methodology for the Construction of Scheduled Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
10	Sung Hyun Cho, Seung-Jei Yang, Shin Heu, Sung-Han Park	QoS Oriented Bandwidth Management Scheme for Stable Multimedia Services on the IMT-2000 Networks.	ITCC	2000	DBLP DOI BibTeX RDF
10	Rob van Stee, Johannes A. La Poutré	Partial servicing of on-line jobs.	APPROX	2000	DBLP DOI BibTeX RDF
10	Bhaskar DasGupta, Michael A. Palis	Online real-time preemptive scheduling of jobs with deadlines.	APPROX	2000	DBLP DOI BibTeX RDF
10	Sheetanshu L. Pandey, Kothanda Umamageswaran, Philip A. Wilsey	VHDL semantics and validating transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
10	Foto N. Afrati, Evripidis Bampis, Chandra Chekuri, David R. Karger, Claire Kenyon, Sanjeev Khanna, Ioannis Milis, Maurice Queyranne, Martin Skutella, Clifford Stein 0001, Maxim Sviridenko	Approximation Schemes for Minimizing Average Weighted Completion Time with Release Dates.	FOCS	1999	DBLP DOI BibTeX RDF	average weighted completion time, scheduling, algorithm, parallel machines, approximation scheme, release dates
10	Amotz Bar-Noy, Magnús M. Halldórsson, Guy Kortsarz, Ravit Salman, Hadas Shachnai	Sum Multi-coloring of Graphs.	ESA	1999	DBLP DOI BibTeX RDF
10	Martin Skutella	Convex Quadratic Programming Relaxations for Network Scheduling Problems.	ESA	1999	DBLP DOI BibTeX RDF
10	Gérard Berry	Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract).	CHARME	1999	DBLP DOI BibTeX RDF
10	Ragnar Birgisson, Jonas Mellin, Sten F. Andler	Bounds on Test Effort for Event-Triggered Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF
10	Esther M. Arkin, Michael A. Bender, Joseph S. B. Mitchell, Steven Skiena	The Lazy Bureaucrat Scheduling Problem.	WADS	1999	DBLP DOI BibTeX RDF
10	Anatolii A. Puhalskii, Martin I. Reiman	A critically loaded multirate link with trunk reservation.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	stochastic service system, multirate link, trunk reservation
10	Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Modeling reactive systems in Java.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	simulation, Java, prototyping, high level design
10	Cheng-Chi Yu, Sourav Bhattacharya	Real-Time Traffic Management on Optical Networks Using Dynamic Control of Cycle Duration.	CANPC	1998	DBLP DOI BibTeX RDF
10	Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol	Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.	ICCL	1998	DBLP DOI BibTeX RDF	programming language design and implementation, Java, concurrency, process algebra, specification-based testing, synchronous programming
10	Byungjae Kim, Jong Kim 0001, Sung Je Hong, Sunggu Lee	A Real-Time Communication Method for Wormhole Switching Networks.	ICPP	1998	DBLP DOI BibTeX RDF
10	Reinhard German	Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
10	Arie Harel, Hilary Cheng	Order statistics applications to queueing and scheduling problems.	Queueing Syst. Theory Appl.	1997	DBLP DOI BibTeX RDF	combinatorial identities, earliness penalty, tardiness penalty, scheduling, heuristic, random walk, queues, probabilistic analysis, order statistics
10	Chris J. M. Booth, Donald I. Bruce	Stack-Free Process-Oriented Simulation.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
10	O-Hoon Kwon, Jong Kim 0001, Sung Je Hong, Sunggu Lee	Real-Time Job Scheduling in Hypercube Systems.	ICPP	1997	DBLP DOI BibTeX RDF	hypercube, real-time scheduling, deadline, subcube, feasible schedule
10	Olov Schelén, Stephen Pink	An Agent-based Architecture for Advance Reservations.	LCN	1997	DBLP DOI BibTeX RDF
10	Frédéric Boussinot, Robert de Simone	The SL Synchronous Language.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	synchronous programming languages, Parallelism, concurrency, automata, reactive systems
10	Han Hoogeveen, Arjen P. A. Vestjens	Optimal On-Line Algorithms for Single-Machine Scheduling.	IPCO	1996	DBLP DOI BibTeX RDF	on-line algorithms, worst-case analysis, single-machine scheduling
10	Soumen Chakrabarti, Cynthia A. Phillips, Andreas S. Schulz, David B. Shmoys, Clifford Stein 0001, Joel Wein	Improved Scheduling Algorithms for Minsum Criteria.	ICALP	1996	DBLP DOI BibTeX RDF
10	Shobana Balakrishnan, Füsun Özgüner	The Effect of Flow Control and Routing Adaptivity on Priority-Driven Traffic in Multiprocessor Networks.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
10	Raoul Bhoedjang, Koen Langendoen	Friendly and Efficient Message Handling.	HICSS (1)	1996	DBLP DOI BibTeX RDF
10	Jiang Zhu, Ted G. Lewis, Weldon Jackson, Russel L. Wilson	Scheduling in Hard Real-Time Applications.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
10	Seong Bae Eun, Jong-Wan Kim, Byeong Man Kim, Hyunsoo Yoon, Seungryul Maeng	Nonpreemptive scheduling algorithms for multimedia communication in local area networks.	ICNP	1995	DBLP DOI BibTeX RDF
10	Bo Chen 0002, André van Vliet, Gerhard J. Woeginger	An Optimal Algorithm for Preemptive On-line Scheduling.	ESA	1994	DBLP DOI BibTeX RDF
10	Jens U. Skakkebæk	Liveness and Fairness in Duration Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
10	John Turek, Walter Ludwig, Joel L. Wolf, Lisa Fleischer, Prasoon Tiwari, Jason Glasgow, Uwe Schwiegelshohn, Philip S. Yu	Scheduling Parallelizable Tasks to Minimize Average Response Time.	SPAA	1994	DBLP DOI BibTeX RDF
10	Shin-Mu Tseng, Yeh-Hao Chin	Prescheduling policy for real-time concurrency control: A performance evaluation.	J. Syst. Integr.	1993	DBLP DOI BibTeX RDF	valid ratio, prescheduling, performance evaluation, Real-time, concurrency control
10	Klaus Ecker, Reiner Hirschberg	Task Scheduling with Restricted Preemptions.	PARLE	1993	DBLP DOI BibTeX RDF
10	Patrice Brémond-Grégoire, Insup Lee 0001, Richard Gerber 0001	ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.	CONCUR	1993	DBLP DOI BibTeX RDF
10	Andrea Asperti, Gian-Luigi Ferrari 0002, Roberto Gorrieri	Implicative Formulae in the "Proofs as Computations" Analogy.	POPL	1990	DBLP DOI BibTeX RDF
10	Scott T. Leutenegger, Mary K. Vernon	The Performance of Multiprogrammed Multiprocessor Scheduling Policies.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
10	Michael L. Dertouzos, Aloysius K. Mok	Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	hard-real-time task scheduling, scheduling game representation, a priori knowledge, mutual exclusion constraints, scheduling, real-time systems, multiprocessing systems, multiprogramming, optimal scheduling, multiprocessor environment
10	Guan-Ing Chen, Ten-Hwang Lai	Scheduling Independent Jobs on Hypercubes.	STACS	1988	DBLP DOI BibTeX RDF
10	David J. Thuente	Critique of SIMAN as a programming language (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	SIMAN
10	John P. Lehoczky, Lui Sha	Performance of Real-Time Bus Scheduling Algorithms.	SIGMETRICS	1986	DBLP DOI BibTeX RDF
10	Wlodzimierz M. Zuberek	M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
10	Sigurd L. Lillevik, John L. Easterday	A multiprocessor with replicated shared memory.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF