Sciweavers

601 search results - page 59 / 121
» Verifiable Network-Performance Measurements
Sort
View
RTSS
2008
IEEE
15 years 4 months ago
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco...
TRIDENTCOM
2008
IEEE
15 years 4 months ago
A flexible dual frequency testbed for RFID
This paper presents the setup of a testbed developed for the fast evaluation of RFID systems in two frequency domains. At the one hand the 13.56 MHz and at the other hand the 868 ...
Christoph Angerer, Martin Holzer 0002, Bastian Kne...
WISE
2005
Springer
15 years 3 months ago
Xebu: A Binary Format with Schema-Based Optimizations for XML Data
XML is currently being used as the message syntax for Web services. To enable small mobile devices to use Web services, this XML use must not be too resource-consuming. Due to seve...
Jaakko Kangasharju, Sasu Tarkoma, Tancred Lindholm
FPGA
2004
ACM
137views FPGA» more  FPGA 2004»
15 years 3 months ago
Making visible the thermal behaviour of embedded microprocessors on FPGAs: a progress report
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
Sergio López-Buedo, Eduardo I. Boemo
HICSS
2000
IEEE
124views Biometrics» more  HICSS 2000»
15 years 1 months ago
An Empirical Study of Distribution based on Voyager: A Performance Analysis
The paper describes the model, implementation and experimental evaluation of a distributed Kohonen Neural Network application (Kohonen Application). The aim of this research is to...
Sérgio Viademonte, Frada Burstein, Fá...