Sciweavers

4359 search results - page 536 / 872
» Automated Pipeline Design
Sort
View
SPIN
2004
Springer
16 years 2 days ago
Translation from Adapted UML to Promela for CORBA-Based Applications
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
Jessica Chen, Hanmei Cui
RTAS
2003
IEEE
16 years 13 hour ago
Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
Jamison Masse, Saehwa Kim, Seongsoo Hong
IEEEINTERACT
2002
IEEE
15 years 11 months ago
Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
Alexander G. Dean
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
15 years 11 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
ICCAD
1998
IEEE
130views Hardware» more  ICCAD 1998»
15 years 11 months ago
GPCAD: a tool for CMOS op-amp synthesis
We present a method for optimizing and automating component and transistor sizing for CMOS operational amplifiers. We observe that a wide variety of performance measures can be fo...
Maria del Mar Hershenson, Stephen P. Boyd, Thomas ...