3676 search results - page 193 / 736 » Scalable component abstractions |
159
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--In this paper, we introduce a novel approach for improved nonlinear system identification in the short-time Fourier transform (STFT) domain. We first derive explicit repr...
187
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
197
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...
180
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
168
click to vote
FCCM
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...