3255 search results - page 339 / 651 » Combination of Abstractions in the ASTR |
175
click to vote
EUC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In distributed streaming media server clusters, by adopting cooperative caching (CC) technique, the free memory of all the servers can be combined to form a bigger, logic...
141
click to vote
FASE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
214
click to vote
FASE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
226
click to vote
FPL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
159
click to vote
GG
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different...