Search results for "timing correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Douglas Niehaus, John A. Stankovic, Krithi Ramamritham	A real-time system description language. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing
2	Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider	Engineering and Analysis of Fixed Priority Schedulers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms
1	Bao Liu	Robust differential asynchronous nanoelectronic circuits.	ISQED	2009	DBLP DOI BibTeX RDF
1	Andrea Calimera, Enrico Macii, Massimo Poncino, R. Iris Bahar	Temperature-insensitive synthesis using multi-vt libraries.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	multi-threshold voltage, temperature-aware, logic synthesis
1	E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale	Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.	DATE	2008	DBLP DOI BibTeX RDF
1	J. C. Chi, H. H. Lee, S. H. Tsai, M. C. Chi	Gate Level Multiple Supply Voltage Assignment Algorithm for Power Optimization Under Timing Constraint.	IEEE Trans. VLSI Syst.	2007	DBLP DOI BibTeX RDF
1	Chaiwat Sathawornwichit, Takuya Katayama	A Parametric Model Checking Approach for Real-Time Systems Design.	APSEC	2005	DBLP DOI BibTeX RDF
1	Aman Kokrady, C. P. Ravikumar	Fast, Layout-Aware Validation of Test-Vectors for Nanometer-Related Timing Failures.	VLSI Design	2004	DBLP DOI BibTeX RDF	Timing Failure, Test Validation, Crosstalk, At Speed Testing, IR Drop
1	Aman Kokrady, C. P. Ravikumar	Static Verification of Test Vectors for IR Drop Failure.	ICCAD	2003	DBLP DOI BibTeX RDF
1	Ting-Yuan Wang, Charlie Chung-Ping Chen	Thermal-ADI - a linear-time chip-level dynamic thermal-simulation algorithm based on alternating-direction-implicit (ADI) method.	IEEE Trans. VLSI Syst.	2003	DBLP DOI BibTeX RDF
1	Ting-Yuan Wang, Charlie Chung-Ping Chen	Thermal-ADI: a linear-time chip-level dynamic thermal simulation algorithm based on alternating-direction-implicit (ADI) method.	ISPD	2001	DBLP DOI BibTeX RDF
1	David W. Lloyd, Jim D. Garside	A Practical Comparison of Asynchronous Design Styles.	ASYNC	2001	DBLP DOI BibTeX RDF
1	Eleanna Kafeza, Kamalakar Karlapalem	Gaining Control over Time in Workflow Management Applications.	DEXA	2000	DBLP DOI BibTeX RDF
1	Pedro Mejía-Alvarez, Daniel Mossé	A Responsiveness Approach for Scheduling Fault Recovery in Real-Time Systems.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
1	Andrés Terrasa, Ana García-Fornes	Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux.	RTCSA	1999	DBLP DOI BibTeX RDF	real-time synchronization, real-time operating systems, priority inheritance
1	Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta	A timing-driven design and validation methodology for embedded real-time systems.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	period assignment, period derivation, rate assignment, rate derivation, timing-driven codesign, requirements analysis, timing analysis, system-level design, performance verification
1	Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet	Verifying a Self-Timed Divider.	ASYNC	1998	DBLP DOI BibTeX RDF	model checking, refinement, asynchronous, hardware verification, timing verification, self-timed, speed-independence