5630 search results - page 1071 / 1126 » Computability in Specification |
165
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
A recent trend towards integrating FPGAs with many heterogeneous components, such as memory systems, dedicated multipliers, etc., has made them an attractive option for implementin...
152
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
144
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
158
Voted
EVOW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Computational analysis of mass spectrometric (MS) proteomic data from sera is of potential relevance for diagnosis, prognosis, choice of therapy, and study of disease act...
156
click to vote
FPGA
2006
ACM
15 years 7 months ago
2006
ACM
The development of Reed-Solomon (RS) codes has allowed for improved data transmission over a variety of communication media. Although Reed-Solomon decoding provides a powerful def...