2702 search results - page 185 / 541 » Requirements Processes: An Experience Report |
190
click to vote
ISCAS
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— In many image processing applications, fast convolution of an image with a large 2D filter is required. Field Programable Gate Arrays (FPGAs) are often used to achieve...
189
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Novel matrix-valued imaging techniques such as diffusion tensor magnetic resonance imaging require the development of edgepreserving nonlinear filters. In this paper we introduce...
154
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
149
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper reports on measurement results for the simultaneous use of multiple WLAN APs in a large area. We describe some problems of applying legacy IEEE 802.11 WLAN technologi...
200
click to vote
QEST
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...