Performance analysis of real time embedded software von Li, Yau-Tsun Steven, Malik, Sharad

Performance Analysis of Real-Time Embedded Software von Li, Yau-Tsun Steven, Malik, Sharad

DE-634
URL des Erstveröffentlichers

Retiming and resynthesis optimization sequential networks with combinatorial techniques

Asynchronous Circuit Design for VLSI Signal Processing

DE-634
URL des Erstveröffentlichers

Proceedings of the 41st annual Design Automation Conference von Malik, Sharad

DE-19
URL des Erstveröffentlichers

Establishing latch correspondence for sequential circuits using distinguishing signatures von Mohnke, Janett 1967-, Molitor, Paul 1959-, Malik, Sharad

The compiler design handbook optimizations and machine code generation

Inhaltsverzeichnis

Tagungsband des 3. GI-ITG-Workshops Anwendung Formaler Methoden beim Entwurf von Hardwaresystemen Passau, 1995

Inhaltsverzeichnis

Advanced research in VLSI and parallel systems proceedings of the 1992 Brown/MIT conference

Inhaltsverzeichnis

Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings

Inhaltsverzeichnis

China's global rebalancing and the new silk road

Inhaltsverzeichnis

Automated technology for verification and analysis 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3 - 6, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Middleware 2010 ACM IFIP USEMIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Proceedings 1997 Anaheim Convention Center, Anaheim, CA ; June 9 - 13, 1997

Inhaltsverzeichnis

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23 - 24, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Ranganathanism and knowledge society relevance of Dr. S. R. Ranganathan in the present day knowledge society and other essays

Inhaltsverzeichnis

Automated deduction - CADE 18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30, 2002 ; proceedings

Inhaltsverzeichnis

Embedded software for SOC

Inhaltsverzeichnis

Digest of technical papers November 5 - 9, 1995, San Jose, California

Inhaltsverzeichnis

ICCAD 2002 November 10 - 14, 2002, Doubletree Hotel, San Jose, CA ; [IEEE ACM digest of technical papers]

Inhaltsverzeichnis