Search results for "timing constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon	Supporting the specification and analysis of timing constraints. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	timing constraints analysis, real-time programmers, user-friendly environment, user specification, real-time systems, user interface, formal specification, timing, synchronisation, timing constraints, computer aided software engineering, C language, C program, project support environments
3	Yue Yu, Shangping Ren, Ophir Frieder	Interval-Based Timing Constraints Their Satisfactions and Applications.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	interval based timing constraints, satisfaction probability, event occurrence, normal distribution, exponential distribution
3	Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo	Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	electronic brokerages, event specification, timing constraints, Active databases, real-time databases
3	Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers	Automatic Derivation of Timing Constraints by Failure Analysis.	CAV	2002	DBLP DOI BibTeX RDF	Trace theoretic verification, Timing constraints, Failure analysis, Timed circuits
3	Shane Sendall, Alfred Strohmeier	Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.	UML	2001	DBLP DOI BibTeX RDF	Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
3	Minsoo Ryu, Seongsoo Hong, Manas Saksena	Streamlining real-time controller design: From performance specifications to end-to-end timing constraints. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF	real-time controller design, performance specifications, end-to-end timing constraints, control theoretic approach, schedulability constraint, control output responses, steady state error maximum overshoot, rise time, loop processing periods, input-to-output latency, heuristic optimization algorithm, embedded real-time controller, period calibration method, real-time systems, performance requirements, control performance, real-time control system, temporal requirements, settling time
3	Namyun Kim	A scheduling technique for real-time systems with end-to-end timing constraints.	RTCSA	1996	DBLP DOI BibTeX RDF	end-to-end timing constraints, shared tasks, overload situations, real-time systems, real-time systems, scheduling technique
3	Chanjung Park, Seog Park	A multiversion locking protocol for real-time databases with multilevel security.	RTCSA	1996	DBLP DOI BibTeX RDF	multiversion locking protocol, processes transactions, explicit timing constraints, logical data consistency, compatibility matrix, version selection algorithm, data integrity, timing constraints, multilevel security, real-time databases, temporal consistency
3	Sheng-Tzong Cheng, Ashok K. Agrawala	Allocation and scheduling of real-time periodic tasks with relative timing constraints.	RTCSA	1995	DBLP DOI BibTeX RDF	real-time periodic tasks, scheduling, scheduling, real-time systems, real-time systems, resource allocation, task scheduling, processor scheduling, timing constraints, communication scheduling
3	Jia Xu, David Lorge Parnas	On Satisfying Timing Constraints in Hard-Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	pre-run-time scheduling, mathematical scheduling problems, scheduling, real-time systems, timing constraints, operating systems (computers), hard-real-time systems
2	Meikang Qiu, Edwin Hsing-Mean Sha	Cost minimization while satisfying hard/soft timing constraints for heterogeneous embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Embedded Systems, real-time, high-level synthesis, heterogeneous
2	Keisuke Inoue, Mineo Kaneko, Tsuyoshi Iwagaki	Safe clocking for the setup and hold timing constraints in datapath synthesis.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	ordered clocking, register assignment, datapath synthesis
2	Jing Huang, Wei Zhang, Yansheng Lu, Qin Yang	Reflective Design for Component-Based Distributed Systems with Timing Constraints.	COMPSAC	2008	DBLP DOI BibTeX RDF
2	Guilan Dai, Rujuan Liu, Chongchong Zhao, Changjun Hu	Timing Constraints Specification and Verification for Web Service Compositions.	APSCC	2008	DBLP DOI BibTeX RDF
2	Qiang Ma 0002, Evangeline F. Y. Young	Network flow-based power optimization under timing constraints in MSV-driven floorplanning.	ICCAD	2008	DBLP DOI BibTeX RDF
2	Veerapaneni Nagbhushan, C. Y. Roger Chen	Modeling and reduction of complex timing constraints in high performance digital circuits.	ICCD	2008	DBLP DOI BibTeX RDF
2	Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana	Monitoring of Timing Constraints with Confidence Threshold Requirements.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	fault tolerance, Constraints, monitors, temporal logic, real-time and embedded systems
2	Tetsuya Iizuka, Makoto Ikeda, Kunihiro Asada	OPC-Friendly De-Compaction with Timing Constraints for Standard Cell Layouts.	ISQED	2007	DBLP DOI BibTeX RDF
2	Philipp V. Panitz, Markus Olbrich, Erich Barke, Jürgen Koehl	Robust wiring networks for DfY considering timing constraints.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	redundant wiring, timing constraint aware, open defects, design for yield
2	Philippe Coussy, Emmanuel Casseau, Pierre Bomel, Adel Baganne, Eric Martin	A formal method for hardware IP design and integration under I/O and timing constraints.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	IP design and integration, communication interface unit, constrained synthesis, digital signal processing and multimedia applications, SoC
2	Debjit Sinha, Hai Zhou	Gate-size optimization under timing constraints for coupling-noise reduction.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Ahmad Khonsari, Mohamed Ould-Khaoua, Abbas Nayebi, Hamid Sarbazi-Azad	The impacts of timing constraints on virtual channels multiplexing in interconnect networks.	IPCCC	2006	DBLP DOI BibTeX RDF
2	Honguk Woo, Aloysius K. Mok, Chan-Gun Lee	A Generic Framework for Monitoring Timing Constraints over Uncertain Events.	RTSS	2006	DBLP DOI BibTeX RDF
2	K. Subramani	Totally Clairvoyant Scheduling with Relative Timing Constraints.	VMCAI	2006	DBLP DOI BibTeX RDF
2	Juliana Küster Filipe, Stuart Anderson	On a time enriched OCL liveness template.	STTT	2006	DBLP DOI BibTeX RDF	Timed logics of knowledge, Timed automata, Timing constraints, OCL, Distributed real-time systems
2	Ling Wang, Yingtao Jiang, Henry Selvaraj	Scheduling and Partitioning Schemes for Low Power Designs Using Multiple Supply Voltages.	The Journal of Supercomputing	2006	DBLP DOI BibTeX RDF	multiple supply voltages, scheduling, low power, partitioning, timing constraints, resource constraints
2	Luciana Rech, Rômulo Silva de Oliveira, Carlos Montez	Dynamic Determination of the Itinerary of Mobile Agents with Timing Constraints.	IAT	2005	DBLP DOI BibTeX RDF
2	Sumit Kumar Basu	t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems.	IWDC	2004	DBLP DOI BibTeX RDF
2	James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt	Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
2	Jian-Jia Chen, Tei-Wei Kuo, Chia-Lin Yang	Profit-driven uniprocessor scheduling with energy and timing constraints.	SAC	2004	DBLP DOI BibTeX RDF	real-time process scheduling, embedded systems, power management, energy-aware scheduling
2	Qiu Fang, Susan V. Vrbsky, Yu Dang, Weigang Ni	A Pull-Based Broadcast Algorithm that Considers Timing Constraints.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
2	Debjit Sinha, Hai Zhou	Gate sizing for crosstalk reduction under timing constraints by Lagrangian relaxation.	ICCAD	2004	DBLP DOI BibTeX RDF
2	Elisabeth Pelz, Hans Fleischhack	Compositional High Level Petri Nets with Timing Constraints - A Comparison.	ACSD	2003	DBLP DOI BibTeX RDF
2	Damir Isovic, Gerhard Fohler, Liesbeth Steffens	Timing Constraints of MPEG-2 Decoding for High Quality Video: Misconceptions and Realistic Assumptions.	ECRTS	2003	DBLP DOI BibTeX RDF
2	Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana	Monitoring of Timing Constraints with Confidence Threshold Requirements.	RTSS	2003	DBLP DOI BibTeX RDF
2	Kwangyong Lee, Jeong-Si Kim, Chaedeok Lim, Heung-Nam Kim	A Development of Remote Tracepoint Debugger for Run-time Monitoring and Debugging of Timing Constraints on Qplus-P RTOS.	WSTFEUS	2003	DBLP DOI BibTeX RDF
2	Hojung Cha, Rhan Ha	Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems.	TACAS	2002	DBLP DOI BibTeX RDF
2	Metehan Özcan, Masashi Imai, Takashi Nanya	Generation and Verification of Timing Constraints for Fine-Grain Pipelined Asynchronous Data-Path Circuits.	ASYNC	2002	DBLP DOI BibTeX RDF
2	Anupam Datta, Sidharth Choudhury, Anupam Basu	Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks.	VLSI Design	2002	DBLP DOI BibTeX RDF
2	Pau Martí, Josep M. Fuertes, Gerhard Fohler, Krithi Ramamritham	Improving Quality-of-Control Using Flexible Timing Constraints: Metric and Scheduling Issues. (PDF / PS)	IEEE Real-Time Systems Symposium	2002	DBLP DOI BibTeX RDF
2	Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana	The Monitoring of Timing Constraints on Time Intervals. (PDF / PS)	IEEE Real-Time Systems Symposium	2002	DBLP DOI BibTeX RDF
2	Peter A. Beerel, Ken S. Stevens, Hoshik Kim	Relative Timing Based Verification of Timed Circuits and Systems.	ASYNC	2002	DBLP DOI BibTeX RDF	Relative Timing, Verification and Timed Circuits, Timing Constraints
2	Kristian Sandström, Christer Norström	Managing Complex Temporal Requirements in Real-Time Control Systems. (PDF / PS)	ECBS	2002	DBLP DOI BibTeX RDF	assigning priorities, assigning offsets, relative timing constraints, scheduling, Real-time systems, control systems
2	Chih-wen Hsueh, Kwei-Jay Lin	Scheduling Real-Time Systems with End-to-End Timing Constraints Using the Distributed Pinwheel Model.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	pinwheel scheduling, Distributed system, real-time system, end-to-end delay
2	Anupam Datta, Sidharth Choudhury, Anupam Basu, Hiroyuki Tomiyama, Nikil Dutt	Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique.	VLSI Design	2001	DBLP DOI BibTeX RDF
2	I. V. Kovalev, Karl-Erwin Großpietsch	Deriving the Optimal Structure of N-Version Software under Resource Requirements and Cost/Timing Constraints.	EUROMICRO	2000	DBLP DOI BibTeX RDF
2	Hui Wu, Joxan Jaffar, Roland H. C. Yap	Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies.	CP	2000	DBLP DOI BibTeX RDF
2	Plamen V. Petrov, Alexander D. Stoyen	An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application.	ICECCS	2000	DBLP DOI BibTeX RDF	intelligent agent based decision support system, complex command and control application, architectural overview, AWACS Command and Control, human controllers, critical decisions, strict timing constraints, dynamically changing environment, decision support training environment, intelligent agent infrastructure, heuristics based algorithms, decision support systems, decision support, distributed simulation
2	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
2	Yu-Sheng Huang, Chih-wen Hsueh	Minimizing the maximum end-to-end delay on tree structure using the distributed pinwheel model.	RTCSA	2000	DBLP DOI BibTeX RDF	maximum end-to-end delay minimisation, distributed pinwheel model, end-to-end timing requirements, tight maximum delay bound, quality of service, Internet, computational complexity, timing, computer networks, heuristic algorithm, processor scheduling, timing constraints, simulation result, distributed real-time systems, tree structure, heuristic programming, NP-hard problems, linear-time algorithm, pipeline structure
2	Hyungill Kim, Sungyoung Lee, Byeong-Soo Jeong	An improved feasible shortest path real-time fault-tolerant scheduling algorithm.	RTCSA	2000	DBLP DOI BibTeX RDF	feasible shortest path real time fault tolerant scheduling algorithm, real time single processor environment, queue based scheduling techniques, feasible shortest path algorithm, linear time heuristics, FSP algorithm, optimal fault tolerant schedules, LTH algorithm, real time scheduling performance, backup scheduling, minimum inter-fault time, primary tasks, fault tolerant schedule, backup schedules, scheduling, fault tolerance, real-time systems, computational complexity, fault tolerant computing, queueing theory, time complexity, timing constraints, system performance, greedy heuristics, time interval, real time computer systems
2	Jan Lindström, Kimmo E. E. Raatikainen	Using importance of transactions and optimistic concurrency control in firm real-time databases.	RTCSA	2000	DBLP DOI BibTeX RDF	optimistic concurrency control protocol, transaction importance, hard real-time databases, database consistency requirements, heterogeneous transactions, OCC-PDATI, serialization order dynamic adjustment, prototype database system, performance, real-time systems, concurrency control, timing, database management systems, transaction processing, timing constraints, conflict resolution, access protocols
2	Jae-Tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith	Timing constraints for high-speed counterflow-clocked pipelining.	IEEE Trans. VLSI Syst.	1999	DBLP DOI BibTeX RDF
2	Aloysius K. Mok, Guangtian Liu	Efficient Run-Time Monitoring of Timing Constraints. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
2	Michael Münch, Norbert Wehn, Manfred Glesner	An efficient ILP-based scheduling algorithm for control-dominated VHDL descriptions.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF	scheduling, timing constraints, integer linear programming (ILP)
2	Supratik Chakraborty, David L. Dill, Kun-Yung Chang, Kenneth Y. Yun	Timing Analysis of Extended Burst-Mode Circuits.	ASYNC	1997	DBLP DOI BibTeX RDF	Extended burst-mode circuits, 3D design style, global timing constraints, uncertain component delays, thirteen-valued signal algebra, polynomial-time
2	Sang Hyuk Son, Robert C. Beckinger, David A. Baker	DRDB: a distributed real-time database server for high-assurance time-critical applications. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	DRDB, distributed real time database server, high assurance time critical applications, critical tasks, scheduling decisions, concurrency control mechanisms, functional real time database server, operational platform, distributed real time database issues, distributed databases, timing constraints, data consistency, simulated environment, real time database systems, safety critical applications, operating environment
2	Adel Baganne, Jean Luc Philippe, Eric Martin	Hardware interface design for real time embedded systems.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF	real time digital signal processing, hardware interface design, codesign approach, storage components, hardware-software components, I/O data modeling style, hardware I/O transfer sequences, high level synthesis tool, GAUT, I/O transfer order, cosynthesis tool, real-time systems, ASICs, timing constraints, generic model, data communication, real time embedded systems, formal technique, interface specification, FFT algorithms, allocation problem
2	Chih-wen Hsueh, Kwei-Jay Lin	Schedulability comparisons among periodic and distance-constrained real-time schedulers.	RTCSA	1997	DBLP DOI BibTeX RDF	schedulability comparisons, distance-constrained real-time schedulers, pinwheel schedulers, transformed harmonic distance constraints, real-time systems, real-time system, timing constraints
2	Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang	PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	PASS, prototyping environment, synthesis environment, event-driven model, end-to-end delay requirements, error propagation problem, chalkboard example, simulation, real-time systems, Ethernet, timing constraints, software prototyping
2	Gerardo Lamastra, Giuseppe Lipari, Giorgio C. Buttazzo, Antonino Casile, Fabio Conticelli	HARTIK 3.0: a portable system for developing real-time applications.	RTCSA	1997	DBLP DOI BibTeX RDF	HARTIK 3.0, soft multimedia, Intel 80/spl times/86 processors, DEC Alpha AXP-PCI-33, bounded blocking time, chained blocking, time bounded communication paradigm, distributed systems, embedded systems, predictability, deadlock, timing constraints, portability, toolkit, dynamic scheduling, real-time applications, software portability, microcontrollers, application designer, portable system
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	Marco Caccamo, Giorgio C. Buttazzo	Exploiting skips in periodic tasks for enhancing aperiodic responsiveness. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	periodic task skips, aperiodic responsiveness, video reception, aperiodic requests, offline analysis, multimedia systems, timing constraints, software performance evaluation, real-time applications, deadlines, scheduling theory, earliest deadline first scheduling, average response time, telecommunication systems
2	Oscar González, H. Shrikumar, John A. Stankovic, Krithi Ramamritham	Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	adaptive fault tolerance, dynamic hard real-time scheduling, static redundancy allocation, variable environments, redundancy strategy, radar tracking software, AWACS, early warning aircraft, timing-centric performance metric, quality of service, fault tolerant computing, timing constraints, temporal constraints, resource constraints, QoS guarantees, graceful degradation
2	Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchili, Rakesh Jha	On adaptive resource allocation for complex real-time application. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	complex real-time applications, high-performance real-time applications, limited resource availability, embedded system platforms, resource needs, over-sizing, worst-case application needs, time-critical applications, C31 systems, resource allocation, satisfiability, timing constraints, data-dependent, performance metrics, adaptive resource allocation
2	Martin Gergeleit, Jörg Kaiser, Hermann Streich	Checking timing constraints in distributed object-oriented programs.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
2	Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott	Specifying timing constraints in real-time object-oriented systems.	HASE	1996	DBLP DOI BibTeX RDF
2	Ching-Chih Han, Kang G. Shin	Message transmission with timing constraints in ring networks . (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	message transmission problem, unidirectional slotted ring networks, evacuation mode, continuation mode, system initialization, message scheduling policies, message deadlines, maximum delay, least-slack-time-first scheduling policy, optimal scheduling policy, farthest-destination-first policy, message passing, performance measures, timing constraints, average delay, operation modes
2	R. K. Gupta	A framework for interactive analysis of timing constraints in embedded systems.	CODES	1996	DBLP DOI BibTeX RDF	constraint satisfiability, performance evaluation, real-time systems, embedded systems, timing, computability, logic design, satisfiability, timing constraints, interactive analysis, timing performance
2	Sheng-Tzong Cheng, Chia-Mei Chen	A Cyclic Scheduling for Relative Timing Requirements.	ICECCS	1996	DBLP DOI BibTeX RDF	relative timing constraints, Scheduling, real-time, jitters, allocation
2	Young-Kuk Kim, Sang Hyuk Son	Supporting predictability in real-time database systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	multiple predictability levels, read times, transaction processing scheme, operating environment changes, critical transaction completion guarantees, correctness criterion, predictable transaction execution, data temporal consistency, deadline miss ratio minimization, simulation, performance, real-time systems, adaptability, specifications, data integrity, software reliability, transaction processing, database theory, temporal databases, timing constraints, software performance evaluation, serializability, temporal constraints, prediction theory, real-time database systems, transaction scheduling
2	M. D. Baba, Hsmail Ekiz, A. Kutlu, E. T. Powner	Toward adaptable distributed real-time computer systems.	RTCSA	1996	DBLP DOI BibTeX RDF	adaptable distributed real-time computer systems, processing nodes, environmental changes, imprecise technique, fault tolerance mechanism, automotive benchmark signals, performance, distributed processing, timing constraints, controller area network, simulation study, communication channel, safety critical application, real-time computer system, scheduling strategy, component failures
2	Chang-Gun Lee, Young-Kuk Kim, Sang Hyuk Son, Sang Lyul Min, Chong-Sang Kim	Efficiently supporting hard/soft deadline transactions in real-time database systems.	RTCSA	1996	DBLP DOI BibTeX RDF	hard/soft deadline transactions, temporally valid data objects, soft-deadlines, real-time systems, timing constraints, temporal consistency, real-time database systems, database operations, implementation complexity
2	Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij	The MSP.RTL real-time scheduler synthesis tool. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	MSP RTL real time scheduler synthesis tool, scheduler synthesis algorithm, real time scheduling problem, temporal constraint satisfaction problem, temporal constraint graph, input timing specification, incremental positive cycle detection algorithm, real time scheduling theory, Boeing 777 Integrated Airplane Information Management System, AIMS, constraint satisfaction, processor scheduling, timing constraints, resource constraints, application domains, search strategies, cyclic schedules, feasible schedule, timing semantics, real time logic
2	Lo Ko, David B. Whalley, Marion G. Harmon	Supporting User-Friendly Analysis of Timing Constraints.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
2	Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man	Real-time multi-tasking in software synthesis for information processing systems.	ISSS	1995	DBLP DOI BibTeX RDF	automatic processor mapping, automatically generated application-specific solution, concurrent process system specification, flexible execution models, hardware resource utilization, information processing systems, internal representation model, mobile satellite communication, personal terminal receiver demodulator, real-time multi-tasking, static information, time utilization, real-time systems, embedded systems, concurrency control, processor scheduling, timing constraints, computer aided software engineering, software synthesis, multiprocessing programs
2	H. Rebecca Callison	A Time-Sensitive Object Model for Real-Time Systems.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	programming techniques, real-time processing models, fault tolerance, concurrency, timing constraints, object models
2	Martin Adelantado, Frédéric Boniol, D. Pinault	A simulation environment for designing distributed reactive/deliberative time-constrained applications.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	distributed reactive/deliberative time-constrained applications design, deliberative systems, terminal state, logical time notion, man-machine interface handlers, time critical applications, Sun4 IPX workstation, X-Window graphical interface, French Ministry of Defense, simulator, real-time systems, graphical user interfaces, distributed processing, requirements, programming, programming environments, timing, computer games, program compilers, digital simulation, reactive systems, timing constraints, distributed real-time systems, simulation environment, application generators, reactive programming, Unix operating system, initial state
2	Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher	From Scenarios to Timed Automata: Building Specifications from Users Requirements.	APSEC	1995	DBLP DOI BibTeX RDF	Requirements Engineering, Synthesis, Scenarios, Timed automata, Timing constraints
2	Stefan Ronngren, Behrooz Shirazi	Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs.	HICSS	1995	DBLP DOI BibTeX RDF	static multiprocessor scheduling, periodic real-time tasks, large task sets, exclusion relation, heuristic scheduling algorithms, clustering, real-time systems, resource allocation, NP-complete, multiprocessing systems, communication complexity, mutual exclusion, processor scheduling, timing constraints, task allocation, communication costs, precedence constraints, multiprocessor architecture, precedence relations, scheduling methods
2	Leo Motus, R. Kinksaar, Tonu Naks, M. Pall	Enhancing object modelling technique with timing analysis capabilities.	ICECCS	1995	DBLP DOI BibTeX RDF	enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems
2	Ching-Chih Han, Kang G. Shin	Real-time communication in FieldBus multiaccess networks. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	field buses, FieldBus multiaccess networks, automated factories, absolute deadline guarantees, multiaccess local area networks, SP-50 FieldBus, industrial standard protocol, manufacturing applications, token-passing networks, centralized scheduling multiaccess network, centralized token scheduling, pinwheel, distance-constrained scheduling, centralized-scheduling multiaccess networks, message deadlines, scheduling, real-time systems, protocols, local area networks, timing constraints, real-time communication, random access, embedded real-time systems, computer integrated manufacturing, token networks, multi-access systems, CSMA/CD, industrial process controls, multiaccess networks
2	Sang Hyuk Son	Real-time database systems: present and future.	RTCSA	1995	DBLP DOI BibTeX RDF	temporally coherent data, real-time systems, real-time, concurrency control, transactions, timing constraints, real-time database systems, technological forecasting
2	Cristiana Bolchini, Giacomo Buonanno, Donatella Sciuto, Renato Stefanelli	A new switching-level approach to multiple-output functions synthesis.	VLSI Design	1995	DBLP DOI BibTeX RDF	switching-level, multiple-output functions synthesis, transistor level, randomly generated functions, logic CAD, timing constraints, circuit layout CAD, CMOS logic circuits, multivalued logic circuits, integrated circuit layout, minimisation of switching nets, area minimization, figures of merit
2	Richard Gerber, Seongsoo Hong, Manas Saksena	Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	end-to-end timing constraints, Real-time, design methodology, constraint solving, non-linear optimization, static priority scheduling
2	Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang	Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	real-time systems, Petri nets, synthesis, timing analysis, Timing constraints, time Petri nets, timed Petri nets, specification and verification
2	Jia Xu, David Lorge Parnas	Correction to ``On Satisfying Timing Constraints in Hard-Real-Time Systems''.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	scheduling, real-time systems, timing constraints, hard-real-time systems
2	John A. Nestor, Ganesh Krishnamoorthy	SALSA: a new approach to scheduling with timing constraints.	IEEE Trans. on CAD of Integrated Circuits and Systems	1993	DBLP DOI BibTeX RDF
2	Dave Filo, David C. Ku, Claudionor José Nunes Coelho Jr., Giovanni De Micheli	Interface optimization for concurrent systems under timing constraints.	IEEE Trans. VLSI Syst.	1993	DBLP DOI BibTeX RDF
2	Vicki H. Allan, Bogong Su, Pantung Wijaya, Jian Wang	Foresighted Instruction Scheduling Under Timing Constraints.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	foresighted instruction scheduling, minimum timing information, foresighted compaction, data dependency graph arcs, data dependency information, maximum timing information, greedy compaction algorithms, scheduling, parallel algorithms, parallel programming, graph theory, timing constraints, programming theory, list scheduling, look ahead
2	David C. Ku, Giovanni De Micheli	Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	1992	DBLP DOI BibTeX RDF
2	Karsten Schwan, Hongyi Zhou	Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	hard real-time tasks, real-time threads, real-time multiprocessor operating system kernel, scheduling, real-time systems, computational complexity, timing constraints, dynamic scheduling, network operating systems, precedence constraints, preemptive scheduling, worst-case complexity
2	David C. Ku, Giovanni De Micheli	Relative Scheduling Under Timing Constraints.	DAC	1990	DBLP DOI BibTeX RDF
2	Umeshwar Dayal, Barbara T. Blaustein, Alejandro P. Buchmann, Upen S. Chakravarthy, Meichun Hsu, R. Ledin, Dennis R. McCarthy, Arnon Rosenthal, Sunil K. Sarin, Michael J. Carey, Miron Livny, Rajiv Jauhari	The HiPAC Project: Combining Active Databases and Timing Constraints.	SIGMOD Record	1988	DBLP DOI BibTeX RDF
2	Bogong Su, Jian Wang, Jinshi Xia	Global microcode compaction under timing constraints.	MICRO	1988	DBLP DOI BibTeX RDF
2	Luqi, Valdis Berzins, Raymond T. Yeh	A Prototyping Language for Real-Time Software.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies
2	Bogong Su, Shiyuan Ding, Jian Wang, Jinshi Xia	Microcode compaction with timing constraints.	MICRO	1987	DBLP DOI BibTeX RDF
1	Emre Salman, Eby G. Friedman	Utilizing interdependent timing constraints to enhance robustness in synchronous circuits.	Microelectronics Journal	2012	DBLP DOI BibTeX RDF
1	Tommaso Cucinotta, Dario Faggioli	Handling timing constraints violations in soft real-time applications as exceptions.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	Shihheng Tsai, Man-Yu Li, Chung-Yang Huang	A semi-formal min-cost buffer insertion technique considering multi-mode multi-corner timing constraints.	ASP-DAC	2012	DBLP DOI BibTeX RDF