3436 search results - page 457 / 688 » Software Tools for Performance Modeling of Parallel Programs |
144
click to vote
JSA
2010
14 years 9 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
145
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
181
click to vote
FPGA
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we propose a technique to flexibly implement genetic algorithms for various problems on FPGAs. For the purpose, we propose a basic architecture for GA which consist...
119
click to vote
IIWAS
2008
15 years 3 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
120
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We initiate the study of sublinear-time algorithms in the external memory model [14]. In this model, the data is stored in blocks of a certain size B, and the algorithm is charged...