1950 search results - page 288 / 390 » Lambda-Free Logical Frameworks |
193
click to vote
RSP
2008
IEEE
16 years 25 days ago
2008
IEEE
ASIP-based implementations constitute a key trend in SoC design enabling optimal tradeoffs between performance and flexibility. This paper details a case study of an ASIP-based im...
164
click to vote
WETICE
2008
IEEE
16 years 25 days ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...
154
click to vote
DATE
2007
IEEE
16 years 24 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
164
click to vote
VTS
2007
IEEE
16 years 21 days ago
2007
IEEE
Soft errors due to cosmic particles are a growing reliability threat for VLSI systems. In this paper we analyze the soft error vulnerability of FPGAs used in storage systems. Sinc...
156
click to vote
EVOW
2007
Springer
16 years 18 days ago
2007
Springer
This paper proposes a neural network based approach for solving the resource discovery problem in Peer to Peer (P2P) networks and an Adaptive Global Local Memetic Algorithm (AGLMA)...