571 search results - page 85 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
95
Voted
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
We are interested in new ways of threats and attack on the e-commerce. The server side of e-commerce platform is usually very well protected and secured. Unfortunately, this is no...
104
Voted
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
FPGA chips in reconfigurable computer systems are used as malleable coprocessors where components of a hardware library of functions can be configured as needed. As the number of ...
72
Voted
SIGMETRICS
1992
ACM
15 years 1 months ago
1992
ACM
To cope with the increasing difference between processor and main memory speeds, modern computer systems use deep memory hierarchies. In the presence of such hierarchies, the perf...
81
Voted
NC
2010
14 years 8 months ago
2010
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
HIPEAC
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper advocates the placement of Architecturally Visible Communication (AVC) buffers between adjacent cores in MPSoCs to provide highthroughput communication for str...