5608 search results - page 310 / 1122 » Structure description tools |
150
click to vote
IWSOC
2005
IEEE
15 years 10 months ago
2005
IEEE
Performance estimation of processor is important to select the right processor for an application. Poorly chosen processors can either under perform very badly or over perform but...
128
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
121
click to vote
ERCIMDL
2005
Springer
15 years 10 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
140
click to vote
ICPPW
2003
IEEE
15 years 10 months ago
2003
IEEE
The aim of Grid Computing Pool (GCP) is to integrate heterogeneous large-scale computing devices and famous computing tools into a virtual supercomputer by using grid technology. ...
150
click to vote
FPL
1999
Springer
15 years 9 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...