Sciweavers

26151 search results - page 22 / 5231
» Parameterized system design
Sort
View
DEXA
2005
Springer
75views Database» more  DEXA 2005»
15 years 5 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»
15 years 3 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
EMSOFT
2008
Springer
15 years 1 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»
15 years 3 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