|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1581 occurrences of 947 keywords
|
|
|
|
|
Results
Found 1334 publication records. Showing 1334 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Jinjun Chen, Yun Yang |
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems.  |
ICSE  |
2008 |
DBLP DOI BibTeX RDF |
checkpoint selection, fixed-time constraints, grid workflows, temporal dependency |
| 3 | Ismael Ripoll, Ana García-Fornes, Alfons Crespo |
Optimal aperiodic scheduling for dynamic-priority systems.  |
RTCSA  |
1996 |
DBLP DOI BibTeX RDF |
optimal aperiodic scheduling, dynamic-priority systems, soft real-time constraints, hard real-time constraints, on-line aperiodic admission algorithm, optimal dynamic priority preemptive scheduler, shortest response time, soft aperiodic tasks, dynamic priority schedulers, firm deadline aperiodic tasks, real-time systems, fixed priority schedulers |
| 2 | Azlan Ismail, Jun Yan, Jun Shen |
Dynamic Service Selection for Service Composition with Time Constraints.  |
Australian Software Engineering Conference  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Wei Zheng, Yi-an Zhu, Fang-fang Duan |
Timed High-Order p Calculus and Multi-resolution Time Constraints.  |
SNPD  |
2009 |
DBLP DOI BibTeX RDF |
component-based real-time software, timed high-order p calculus, weak-timed mutual-simulation relationship, multi-resolution time constraints |
| 2 | Steven P. Dow, Kate Heddleston, Scott R. Klemmer |
The efficacy of prototyping under time constraints.  |
Creativity & Cognition  |
2009 |
DBLP DOI BibTeX RDF |
empirical studies of design, prototyping, iteration |
| 2 | Markus Mathes, Christoph Stoidner, Roland Schwarzkopf, Steffen Heinzl, Tim Dörnemann, Helmut Dohmann, Bernd Freisleben |
Time-constrained services: a framework for using real-time web services in industrial automation.  |
Service Oriented Computing and Applications  |
2009 |
DBLP DOI BibTeX RDF |
Industrial automation and control, Web services, Service-oriented architecture (SOA), Real-time, Time constraints |
| 2 | Oscar Sapena, Eva Onaindia |
Planning in highly dynamic environments: an anytime approach for planning under time constraints.  |
Appl. Intell.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Jonatha Anselmi, Edoardo Amaldi, Paolo Cremonesi |
Service Consolidation with End-to-End Response Time Constraints.  |
EUROMICRO-SEAA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Markus Mathes, Steffen Heinzl, Bernd Freisleben |
WS-TemporalPolicy: A WS-Policy Extension for Describing Service Properties with Time Constraints.  |
COMPSAC  |
2008 |
DBLP DOI BibTeX RDF |
time, temporal, WS-Policy |
| 2 | Jianfeng Mao, Christos G. Cassandras |
On-line optimal control of a class of discrete event systems with real-time constraints.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhaoming Wang, Yonghui Ling |
A Negotiation Model with Fuzzy Preferences and Time Constraints.  |
PACIIA  |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy preferences, Fuzzy game theory, Negotiation, Time constraints |
| 2 | Naiqi Wu, Chengbin Chu, Feng Chu, MengChu Zhou |
Modeling and Schedulability Analysis of Single-Arm Cluster Tools with Wafer Residency Time Constraints Using Petri Net.  |
ICNSC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Chuanming Jing, Xia Yin, Zhiliang Wang, Jianping Wu |
A Formal Approach to Robustness Testing of Network Protocol with Time Constraints.  |
ICYCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Pedro Furtado |
Enforcing time-constraints effectively for QoS-aware servers.  |
IDEAS  |
2008 |
DBLP DOI BibTeX RDF |
QoS, algorithms, real-time, transactions, deadlines |
| 2 | Hyunsook Do, Siavash Mirarab, Ladan Tahvildari, Gregg Rothermel |
An empirical study of the effect of time constraints on the cost-benefits of regression testing.  |
SIGSOFT FSE  |
2008 |
DBLP DOI BibTeX RDF |
empirical studies, regression testing, test case prioritization |
| 2 | Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali |
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints.  |
DS-RT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao |
Verification for Time Consistency of Web Service Flow.  |
ACIS-ICIS  |
2008 |
DBLP DOI BibTeX RDF |
Verification of WS Flow, Annotated OWL_S, Time Ontology, Time Constraints Petri Net, Model Checking |
| 2 | Yuan Cai, Marcus T. Schmitz, Bashir M. Al-Hashimi, Sudhakar M. Reddy |
Workload-ahead-driven online energy minimization techniques for battery-powered embedded systems with time-constraints.  |
ACM Trans. Design Autom. Electr. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
adaptive body biasing, embedded systems, Dynamic voltage scaling, battery |
| 2 | Jianfeng Mao, Christos G. Cassandras |
Optimal Control of Two-Stage Discrete Event Systems with Real-Time Constraints.  |
Discrete Event Dynamic Systems  |
2007 |
DBLP DOI BibTeX RDF |
Optimal control, Discrete event system, Real-time constraint |
| 2 | Céline Fiot, Anne Laurent, Maguelonne Teisseire |
Extended Time Constraints for Sequence Mining.  |
TIME  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Bo Liu, Yansheng Lu |
A Scable Peer-to-Peer Overlay for Applications with Time Constraints.  |
SNPD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Jianmin Jiang, Hongping Shu, Li Xu |
An Architecture for Software Systems with time constraints.  |
SNPD  |
2007 |
DBLP DOI BibTeX RDF |
architecture, Component, composition, timing constraint |
| 2 | Nicos Gollan, Jens Schmitt |
Energy-Efficent TDMA Design Under Real-Time Constraints in Wireless Sensor Networks.  |
MASCOTS  |
2007 |
DBLP DOI BibTeX RDF |
Real-time guarantees, Optimal TDMA, Wireless Sensor Networks, Energy-Efficiency, Network calculus |
| 2 | Fawnizu Azmadi Hussin, Tomokazu Yoneda, Hideo Fujiwara |
Optimization of NoC Wrapper Design under Bandwidth and Test Time Constraints.  |
European Test Symposium  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Michal Chalamish, Sarit Kraus |
AutoMed: an automated mediator for bilateral negotiations under time constraints.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
automatic mediation, mediation tools, negotiation |
| 2 | Sung hee Yoon, Soo ae Kweon |
A Study on the Characteristics for the Day and Night Time Consumer Groups of Internet Shopping Malls.  |
HCI  |
2007 |
DBLP DOI BibTeX RDF |
Internet shopping mall, Day and Night Time Consumer Groups, fashion lifestyle, Shopping orientation, Perception of time constraints, Perception of shopping cost |
| 2 | Jinjun Chen, Yun Yang |
Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems.  |
Business Process Management  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Jinjun Chen, Yun Yang |
Assigning Local Fixed-time Constraints in Grid Workflow Systems.  |
GCC Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Ming-Yen Lin, Suh-Yin Lee |
Efficient mining of sequential patterns with time constraints by delimited pattern growth.  |
Knowl. Inf. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
Pattern-growth, Data mining, Time constraint, Sequential patterns, Sequence mining |
| 2 | Salvatore Cavalieri |
Meeting real-time constraints in CAN.  |
IEEE Trans. Industrial Informatics  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jinjun Chen, Yun Yang |
A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems.  |
APSEC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Elisabetta De Maria, Angelo Montanari, Marco Zantoni |
Checking Workflow Schemas with Time Constraints Using Timed Automata.  |
OTM Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Fu-Ming Lee, Li-Hua Li, Pao-Hsiao Chen |
A Study on Dynamic Bargaining Strategy under Time Constraints and with Incomplete Information.  |
IAT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Pan Yu, Tulika Mitra |
Satisfying real-time constraints with custom instructions.  |
CODES+ISSS  |
2005 |
DBLP DOI BibTeX RDF |
real-time systems, execution time, instruction-set extensions, worst-case, customizable processors |
| 2 | Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire |
Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns.  |
TIME  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Paolo Palazzari, Luca Baldini, Moreno Coli |
Synthesis of Pipelined Systems for the Contemporaneous Execution of Periodic and Aperiodic Tasks with Hard Real-Time Constraints.  |
IPDPS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Jingcao Hu, Radu Marculescu |
Energy-Aware Communication and Task Scheduling for Network-on-Chip Architectures under Real-Time Constraints.  |
DATE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Naoto Mukai, Jun Feng, Toyohide Watanabe |
Indexing Approach for Delivery Demands with Time Constraints.  |
PRICAI  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | D. S. Yadav, Rajeev Agrawal, D. S. Chauhan, R. C. Saraswat, Arun K. Majumdar |
Modeling Long Duration Transactions with Time Constraints in Active Database.  |
ITCC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Jianliang Xu, Wang-Chien Lee, Jiangchuan Liu |
Scheduling web requests in broadcast environments.  |
WWW (Alternate Track Papers & Posters)  |
2004 |
DBLP DOI BibTeX RDF |
web, scheduling algorithms, time constraints, on-demand broadcast |
| 2 | Karl Lermer, Colin J. Fidge, Ian J. Hayes |
Linear Approximation of Execution-Time Constraints.  |
Formal Asp. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
Automatic constraint determination, Real-time program analysis, Worst-case and best-case execution times, Control-flow analysis, Timing prediction |
| 2 | Li-Da Huang, Minghorng Lai, Martin D. F. Wong, Youxin Gao |
Maze routing with buffer insertion under transition time constraints.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Fan Zhang, Samuel T. Chanson |
Throughput and Value Maximization in Wireless Packet Scheduling under Energy and Time Constraints.  |
RTSS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Steven Martin, Pascale Minet, Laurent George |
Deterministic End-to-End Guarantees for Real-Time Applications in a DiffServ-MPLS Domain.  |
SERA  |
2003 |
DBLP DOI BibTeX RDF |
EF class, QoS, admission control, MPLS, DiffServ, real-time constraints, deterministic guarantee, worst case end-to-end response time |
| 2 | Stephan Flake, Wolfgang Müller 0003 |
Formal semantics of static and temporal state-oriented OCL constraints.  |
Software and System Modeling  |
2003 |
DBLP DOI BibTeX RDF |
Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts |
| 2 | Stephan Flake, Wolfgang Müller 0003 |
A UML Profile for Real-Time Constraints with the OCL.  |
UML  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Stephan Flake |
Real-Time Constraints with the OCL (position paper). (PDF / PS)  |
Symposium on Object-Oriented Real-Time Distributed Computing  |
2002 |
DBLP DOI BibTeX RDF |
Object Constraint Language, Real-Time Constraints |
| 2 | Li-Da Huang, Minghorng Lai, D. F. Wong, Youxin Gao |
Maze Routing with Buffer Insertion under Transition Time Constraints.  |
DATE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Cao Da-Jun, Xu Liang-Xian |
A negotiation model of incomplete information under time constraints.  |
AAMAS  |
2002 |
DBLP DOI BibTeX RDF |
agent, game theory, negotiation, bargaining |
| 2 | S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings |
Multi-issue negotiation under time constraints.  |
AAMAS  |
2002 |
DBLP DOI BibTeX RDF |
agendas, game theory, negotiation |
| 2 | Hyunok Oh, Soonhoi Ha |
Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints.  |
CODES  |
2002 |
DBLP DOI BibTeX RDF |
hardware-software cosynthesis, multi-task, multi-mode |
| 2 | Stephan Flake, Wolfgang Müller 0003 |
Specification of Real-Time Properties for UML Models.  |
HICSS  |
2002 |
DBLP DOI BibTeX RDF |
UML, Object Constraint Language, Real-Time Constraints, Property Specification |
| 2 | R. K. Shyamasundar, J. V. Aghav |
Validating Real-Time Constraints in Embedded Systems.  |
PRDC  |
2001 |
DBLP DOI BibTeX RDF |
Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems |
| 2 | Keum-Young Sung |
Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java.  |
ICN  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Stefano Leonardi, Alberto Marchetti-Spaccamela, Andrea Vitaletti |
Approximation Algorithms for Bandwidth and Storage Allocation Problems under Real Time Constraints.  |
FSTTCS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Samir Bouaziz, M. Fan, Roger Reynaud, T. Maurin |
Multi-Sensors and Environment Simulator for Collision Avoidance Applications.  |
CAMP  |
2000 |
DBLP DOI BibTeX RDF |
multisensors, environment simulator, PICAR project, Prometheus Prochip, PC hardware computer, CAN/sup 2/ network, dedicated software, AI expert system, designed environment software, physical embedded hardware, virtual world simulator, data fusion, collision avoidance, collision avoidance, real time constraints, video camera, ultrasonic sensors |
| 2 | S. Shaheen Fatima |
TRACE - An Adaptive Organizational Policy for MAS. (PDF / PS)  |
DEXA Workshops  |
2000 |
DBLP DOI BibTeX RDF |
adaptive organizational policy, Task and Resource Allocation in a Computational Economy, load variations, problem-solving organizations, task allocation protocol, subtask allocation, lost requests, price-directed resource allocation protocol, multi-agent systems, MAS, multi agent system, resource allocation, TRACE, time constraints, RAP |
| 2 | Hacène Fouchal, Eric Petitjean, Sébastien Salva |
Testing timed systems with timed purposes.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
timed systems testing, timed purposes, timed counterpart, timed input/output automaton, canonical tester, protocols, conformance testing, time constraints, labeled transition system, automata theory |
| 2 | Chi-Min Lin, Tien-Fu Chen |
Dynamic memory management for real-time embedded Java chips.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
storage management chips, dynamic runtime memory management, real-time embedded Java chips, CPU design, hardware-assisted scheme, dynamic garbage collection mechanism, predictable memory allocation time, data transition events, circular heap, simulation, Java, embedded systems, response time, memory architecture, memory architecture, storage allocation, coprocessors, resource constraints, real-time constraints, co-processor |
| 2 | Sergio Saez, Joan Vila i Carbó, Alfons Crespo |
Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
aperiodic transactions, hard aperiodic tasks, earliest deadline first algorithm, deadline modifications, dynamically-calculated response times, dynamic slack stealing algorithm, minimal response times, release time constraints, hard aperiodic distributed processes, distributed systems, distributed processing, processor scheduling, release time, precedence relations, periodic tasks scheduling |
| 2 | Johann Eder, Euthimios Panagos, Michael Rabinovich |
Time Constraints in Workflow Systems.  |
CAiSE  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin Naedele |
Fault-Tolerant Real-Time Scheduling under Execution Time Constraints.  |
RTCSA  |
1999 |
DBLP DOI BibTeX RDF |
primary/backup, simulation, fault-tolerance, heuristics, real-time scheduling, multiprocessor scheduling, online scheduling |
| 2 | Steven Vercauteren, Jan van der Steen, Diederik Verkest |
Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints.  |
DATE  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Anders P. Ravn, Hans Rischel |
Real-Time Constraints Through the ProCoS Layers.  |
Correct System Design  |
1999 |
DBLP DOI BibTeX RDF |
design, embedded system, real-time, formal specification, requirements, hybrid system |
| 2 | Jeong-Joon Yoo, Dong-Ik Lee |
X-MAS: Mobile Agent Platform for Workflow Systems with Time Constraints. (PDF / PS)  |
ISADS  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Florent Masseglia, Pascal Poncelet, Rosine Cicchetti |
WebTool: An Integrated Framework for Data Mining.  |
DEXA  |
1999 |
DBLP DOI BibTeX RDF |
data mining, association rules, Web usage mining, time constraints, sequential patterns |
| 2 | Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli |
Automatic data mapping of signal processing applications.  |
ASAP  |
1997 |
DBLP DOI BibTeX RDF |
automatic data mapping, signal processing applications, architectural resources constraints, fine-grain scheduling, concurrent constraints logic programming languages, concurrent resolution technique, panoramic analysis, mapping, parallel machine, data partitioning, distributed memory, real time constraints, logic programming languages |
| 2 | Young-Sung Son, Yu-Seok Bae, Oh-Young Kwon, Tae-Geun Kim, Chang-Soon Park |
CrownFS: a clustered continuous media server. (PDF / PS)  |
ICPADS  |
1997 |
DBLP DOI BibTeX RDF |
CrownFS, balancing user load, continuous data file, Kawaiis, AlphaStations, clustered, file system, PCs, cluster of workstations, real-time constraints, file servers, continuous media server |
| 2 | Yu-Kwong Kwok, Ishfaq Ahmad |
A Parallel Algorithm for Compile-Time Scheduling of Parallel Programs on Multiprocessors.  |
IEEE PACT  |
1997 |
DBLP DOI BibTeX RDF |
parallel randomized algorithm, PFAST algorithm, parallel fast assignment, parallel random search technique, computer-aided parallelization, computer-aided scheduling tool, CASCH tool, running time constraints, parallel programming, parallel programs, multiprocessors, time complexity, directed acyclic graphs, execution times, linear-time algorithm, Intel Paragon, compile-time scheduling |
| 2 | Giorgio C. Buttazzo, Fabio Conticelli, Gerardo Lamastra, Giuseppe Lipari |
Robot control in hard real-time environment.  |
RTCSA  |
1997 |
DBLP DOI BibTeX RDF |
hard real-time environment, modular design approach, high-level processes, elementary sensory-motor activities, hierarchical control system, hard real-time kernel, predictable scheduling, software engineering, software architecture, robot control, real-time constraints |
| 2 | Timothy K. Shih, Anthony Y. Chang |
A schedule/layout computation model.  |
RTCSA  |
1997 |
DBLP DOI BibTeX RDF |
schedule/layout computation model, temporal intervals, temporal relation compositions, temporal relation algebraic system, virtual reality timing constraints, virtual reality, time constraints, multimedia presentations, multimedia documents |
| 2 | Akihiko Miyoshi, Takuro Kitayama, Hideyuki Tokuda |
Implementation and evaluation of real-time Java threads. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
real-time Java threads, language specification, prototype real-time environment, unbounded priority inversion, security, performance evaluation, real-time systems, software reusability, object oriented language, distributed environments, software portability, real-time constraints, timing requirements, synchronization mechanism |
| 2 | Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno |
A New Model with Time Constraints for Conformance Testing of Communication Protocols.  |
Asian Test Symposium  |
1996 |
DBLP DOI BibTeX RDF |
|
| 2 | Alessandro Balboni, William Fornaciari, M. Vincenzi, Donatella Sciuto |
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems. (PDF / PS)  |
ISSS  |
1996 |
DBLP DOI BibTeX RDF |
virtual instruction set, control-dominated hardware-software system, retargetable code synthesis, real-time systems, embedded systems, software development, performance estimation, embedded computing, software synthesis, real-time constraints, system synthesis, static scheduling |
| 2 | Célio Estevan Morón |
Designing a real-time recoverable action.  |
RTCSA  |
1996 |
DBLP DOI BibTeX RDF |
real-time recoverable action, reliability requirements, fault-tolerance requirements, reliable real-time systems, forward error recovery, real-time systems, real-time constraints, adaptable scheduler, backward error recovery |
| 2 | Rainer Leupers, Peter Marwedel |
Time-constrained code compaction for DSPs.  |
ISSS  |
1995 |
DBLP DOI BibTeX RDF |
code generation techniques, digital signal processing algorithms, encoding restrictions, exact timing behavior, hard real-time constraints, integer programming model, local code compaction, programmable DSP, rigid heuristics, time-constrained code compaction, real-time systems, timing, integer programming, instruction-level parallelism, source coding, automatic programming, digital signal processing chips, side-effects |
| 2 | Jean-Pierre Thomesse, Zoubir Mammeri, L. Vega |
Time in Distributed Systems Cooperation and Communication Models.  |
FTDCS  |
1995 |
DBLP DOI BibTeX RDF |
Distributed systems, Communication, Real-time, Time constraints |
| 2 | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
Protocol synthesis from timed and structured specifications.  |
ICNP  |
1995 |
DBLP DOI BibTeX RDF |
LOTOS/T+, Presburger formulas, parallelism, protocols, specification languages, synchronisation, interruption, time-constraints, service specifications, protocol specifications, bisimulation equivalent |
| 2 | Bradley C. Kuszmaul |
The RACE network architecture. (PDF / PS)  |
IPPS  |
1995 |
DBLP DOI BibTeX RDF |
RACE network architecture, high-performance parallel interconnection network, 6-port switches, preemptable circuit switched strategy, self-regulating circuit, output delay, performance evaluation, real-time systems, parallel architectures, mesh, real-time constraints, Clos network, fat-tree, parallel computer system |
| 2 | François Baccelli, Zhen Liu, Donald F. Towsley |
Extremal Scheduling of Parallel Processing with and without Real-Time Constraints.  |
J. ACM  |
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 |
| 2 | Ashok K. Agrawala, Bijendra N. Jain |
Deterministic Model and Transient Analysis of Virtual Circuits.  |
IEEE Trans. Software Eng.  |
1993 |
DBLP DOI BibTeX RDF |
transit delay, tandem of servers, transit time constraints, minimum transit delay, opensystems, delays, congestion control, computer networks, computer networks, throughput, transient analysis, FIFO, virtual circuits, service times, maximum throughput, deterministic model |
| 2 | Vincenzo Grassi, Lorenzo Donatiello, Salvatore Tucci |
On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems.  |
IEEE Trans. Software Eng.  |
1992 |
DBLP DOI BibTeX RDF |
optimal checkpointing, transaction-oriented systems, checkpointing rollback recovery technique, single critical task, Laplace-Stieltjes transform form, checkpointing strategies, performance criteria, maximum system unavailability, real-time systems, optimisation, database management systems, transaction processing, probability distribution, moments, overhead, real time constraints, Laplace transforms, inversion methods |
| 2 | Giancarlo Nota, Giuliano Pacini |
Querying of Executable Software Specifications.  |
IEEE Trans. Software Eng.  |
1992 |
DBLP DOI BibTeX RDF |
executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping |
| 2 | Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini |
RSF: A Formalism for Executable Requirement Specifications.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules |
| 2 | Joep L. W. Kessels |
PHILAN: A LAN Providing a Reliable Message Service for Distributed Processing.  |
IEEE Trans. Software Eng.  |
1988 |
DBLP DOI BibTeX RDF |
reliable message service, PHILAN, protocol, protocols, distributed processing, local area network, local area networks, packet-switched, packet-switching, packet switching, LAN, circuit-switched, real-time constraints, ring topology, processing speed |
| 1 | Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz |
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Muneo Kitajima, Makoto Toyota |
Simulating navigation behaviour based on the architecture model Model Human Processor with Real-Time Constraints (MHP/RT).  |
Behaviour & IT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Chen, Mei-Po Kwan |
Choice set formation with multiple flexible activities under space-time constraints.  |
International Journal of Geographical Information Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad M. Masud, Jing Gao, Latifur Khan, Jiawei Han, Bhavani M. Thuraisingham |
Classification and Novel Class Detection in Concept-Drifting Data Streams under Time Constraints.  |
IEEE Trans. Knowl. Data Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizio Colaneri, Paolo Bolzern, José Claudio Geromel |
Root mean square gain of discrete-time switched linear systems under dwell time constraints.  |
Automatica  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xia Yin, Zhiliang Wang, Chuanming Jing, Jianping Wu |
A formal approach to robustness testing of network protocol with time constraints.  |
Security and Communication Networks  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiko Kinoshita, Atsushi Narishige, Yusuke Hara, Nariyoshi Yamai, Koso Murakami |
An Efficient Agent Execution Control Method for Content-Based Information Retrieval with Time Constraints.  |
IEICE Transactions  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano Caramia, Francesca Guerriero |
A note on the modelling of project networks with time constraints.  |
European Journal of Operational Research  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Levner, Amir Elalouf, T. C. Edwin Cheng |
An Improved FPTAS for Mobile Agent Routing with Time Constraints.  |
J. UCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez |
Design and Generation of Web Services Choreographies with Time Constraints.  |
J. UCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alix Munier Kordon |
A graph-based analysis of the cyclic scheduling problem with time constraints: schedulability and periodicity of the earliest schedule.  |
J. Scheduling  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ding-Jung Chiang, Chien-Liang Chen, Chi-Yi Lin, Timothy K. Shih |
Broadcasting Data Items with Time Constraints Based on On-Demand Multichannel in Ubiquitous Environments.  |
JNW  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Yang, Isabelle Augé-Blum |
Delivery ratio-maximized wakeup scheduling for ultra-low duty-cycled WSNs under real-time constraints.  |
Computer Networks  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhang, Mattias Lampe, Zhi Wang |
A hybrid genetic algorithm to optimize device allocation in industrial Ethernet networks with real-time constraints.  |
Journal of Zhejiang University - Science C  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Roverso, Amgad Naiem, Mohammed El-Beltagy, Sameh El-Ansary |
GPU-Based Heuristic Solver for Linear Sum Assignment Problems Under Real-time Constraints  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 1334 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|