Sciweavers

1263 search results - page 21 / 253
» A Vision on a New Generation of Software Design Environments
Sort
View
FDL
2005
IEEE
14 years 11 days ago
Automatic synthesis of the Hardware/Software Interface
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
Francesco Regazzoni, André C. Nácul,...
EUROMICRO
2007
IEEE
14 years 1 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
14 years 1 months ago
A methodology for improving software design lifecycle in embedded control systems
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves...
CGI
1999
IEEE
13 years 11 months ago
Virtual Laboratory: An Interactive Software Environment for Computer Graphics
Many activities in computer graphics can be regarded as experiments on virtual objects or models. In the process of experimentation the existing models are gradually improved and ...
Pavol Federl, Przemyslaw Prusinkiewicz
SAC
2008
ACM
13 years 6 months ago
Template design and automatic generation of controllers for industrial robots
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
Lenko Grigorov, Karen Rudie, José E. R. Cur...