23406 search results - page 212 / 4682 » Architecture, Design, Implementation |
135
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
124
click to vote
IPM
2007
15 years 4 months ago
2007
Search Engine for South-East Europe (SE4SEE) is a socio-cultural search engine running on the grid infrastructure. It offers a personalized, on-demand, country-specific, categor...
139
click to vote
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
15 years 4 months ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...
177
click to vote
BICA
2010
14 years 11 months ago
2010
Graphical cognitive architectures implement their functionality through localized message passing among computationally limited nodes. First-order variables
152
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Hash algorithms are a class of cryptographic primitives used for fulfilling the requirements of integrity and authentication in cryptography. In this paper, we propose and present...