Sciweavers

117 search results - page 9 / 24
» Example-Based Style Synthesis
Sort
View
CBSE
2005
Springer
15 years 5 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
CODES
1997
IEEE
15 years 3 months ago
Software Architecture Synthesis for Retargetable Real-time Embedded Systems
– Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...
Pai H. Chou, Gaetano Borriello
91
Voted
IJCSS
2007
133views more  IJCSS 2007»
14 years 11 months ago
Synthesis of Read-Once Digital Hardware with Reduced Energy Delay Product
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...
P. Balasubramanian, S. Theja
111
Voted
TFM
2004
Springer
130views Formal Methods» more  TFM 2004»
15 years 5 months ago
Advertising Formal Methods and Organizing Their Teaching: Yes, but ...
This position paper aims to address most of the “challenges” suggested by the conference’s CFP plus a few others. The style is deliberately informal and colloquial, occasiona...
Dino Mandrioli
EUROGRAPHICS
2010
Eurographics
15 years 8 months ago
Synthesis of Responsive Motion Using a Dynamic Model
Synthesizing the movements of a responsive virtual character in the event of unexpected perturbations has proven a difficult challenge. To solve this problem, we devise a fully a...
Yuting Ye and C. Karen Liu