6274 search results - page 647 / 1255 » Proofs, Programs, Processes |
174
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
The performance attained by parallel programs executed on multiprocessor systems is largely in uenced both by the characteristics of the code and by those of the system architectu...
221
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
208
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
162
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we solve the problem of detecting the entries of a sparse finite-alphabet signal from a limited amount of data, for instance obtained by compressive sampling. While...
225
click to vote
FDL
2006
IEEE
15 years 11 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...