523 search results - page 32 / 105 » Online Testing of Real-time Systems Using Uppaal |
DELTA
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper covers the concept, architecture, development and demonstration of a Smart Antenna Software Radio Test System (SASRATS). SASRATS was designed and developed as a functio...
128
click to vote
FPT
2005
IEEE
15 years 9 months ago
2005
IEEE
Two FPGA implementations of a Shape Adaptive Discrete Cosine Transform (SA-DCT) accelerator are presented in this paper: one PCI-based and the other AMBA-based. The former is used...
FECS
2006
15 years 4 months ago
2006
: It is a challenging task to evaluate English-Chinese Translating abilities of non-English majors on-line because it involves not only the processing of the source language--Engli...
115
click to vote
ACCV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose an online learning algorithm to tackle the problem of learning under limited computational resources in a teacher-student scenario, over multiple visual cues. ...
132
click to vote
RTAS
2005
IEEE
15 years 8 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...