|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 590 occurrences of 355 keywords
|
|
|
Results
Found 854 publication records. Showing 854 according to the selection in the facets
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 |
|
Displaying result #801 - #854 of 854 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9] |
|