Sciweavers

5672 search results - page 327 / 1135
» Design techniques for low-power systems
Sort
View
ASAP
2004
IEEE
171views Hardware» more  ASAP 2004»
15 years 10 months ago
CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
Vida Kianzad, Shuvra S. Bhattacharyya
IPPS
2002
IEEE
15 years 11 months ago
Improving the Performance of Distributed CORBA Applications
This paper proposes a new technique called CORBAas-needed to improve the performance of distributed CORBA applications. CORBA-as-needed allows distributed CORBA applications to ...
Shivakant Mishra, Nija Shi
SERP
2003
15 years 8 months ago
Formal Validation of HCI User Tasks
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
Yamine Aït Ameur, Mickaël Baron, Patrick...
WECWIS
2006
IEEE
164views ECommerce» more  WECWIS 2006»
16 years 25 days ago
Agile Decision Agent for Service-Oriented E-Commerce Systems
In a service-oriented e-commerce environment, it is a crucial task to help consumers choose desired products efficiently from a huge amount of dynamically configured product can...
Jiyong Zhang, Pearl Pu, Boi Faltings
196
Voted
TCAD
2002
146views more  TCAD 2002»
15 years 6 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier