Sciweavers

2969 search results - page 303 / 594
» The Case for User-Centered CASE Tools
Sort
View
ISQED
2005
IEEE
169views Hardware» more  ISQED 2005»
16 years 9 days ago
ASLIC: A Low Power CMOS Analog Circuit Design Automation
This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
Jihyun Lee, Yong-Bin Kim
EMSOFT
2005
Springer
16 years 8 days ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
EMSOFT
2005
Springer
16 years 8 days ago
Distributing synchronous programs using bounded queues
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
Marco Zennaro, Raja Sengupta
145
Voted
EPEW
2005
Springer
16 years 8 days ago
Automatic Translation of WS-CDL Choreographies to Timed Automata
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
Gregorio Díaz, Juan José Pardo, Mar&...
ICA3PP
2005
Springer
16 years 7 days ago
GridFTP and Parallel TCP Support in NaradaBrokering
Many of the key features of file transfer mechanisms like reliable file transferring and parallel transferring are developed as part of the service. It makes very hard to re-use th...
Sang Boem Lim, Geoffrey Fox, Ali Kaplan, Shrideep ...