12783 search results - page 847 / 2557 » Experimenting with computing |
169
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
On-line routing strategies for communication in a dynamic network on chip (DyNoC) environment are presented. The DyNoC has been presented as a medium supporting communication amon...
245
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
202
click to vote
PDP
2005
IEEE
16 years 1 months ago
2005
IEEE
In this work we evaluate the implementation of a video encoder based on the 3D Wavelet Transform optimized for HyperThreading technology and SMPs. We design several implementation...
195
click to vote
PDP
2005
IEEE
16 years 1 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
247
click to vote
PRDC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...