Sciweavers

26151 search results - page 22 / 5231
» Parameterized system design
Sort
View
DEXA
2005
Springer
75views Database» more  DEXA 2005»
14 years 1 months ago
Time Parameterized Interval R-Tree for Tracing Tags in RFID Systems
ChaeHoon Ban, Bonghee Hong, Donghyun Kim
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
13 years 11 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
EMSOFT
2008
Springer
13 years 9 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
FPL
2006
Springer
85views Hardware» more  FPL 2006»
13 years 11 months ago
High-Performance and Parameterized Matrix Factorization on FPGAs
FPGAs have become an attractive choice for scientific computing. In this paper, we propose a high performance design for LU decomposition, a key kernel in many scientific and engi...
Ling Zhuo, Viktor K. Prasanna