5604 search results - page 789 / 1121 » Becoming Increasingly Reliable |
181
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
220
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
Look-up table based FPGAs have migrated from a niche technology for design prototyping to a valuable end-product component and, in some cases, a replacement for general purpose pr...
175
click to vote
ISPD
2007
ACM
15 years 8 months ago
2007
ACM
Traditionally, research in global placement has focused on relatively few simple metrics, such as pure wirelength or routability estimates. However, in the real world today, desig...
156
click to vote
AAAI
2010
15 years 8 months ago
2010
The aim of General Game Playing (GGP) is to create intelligent agents that can automatically learn how to play many different games at an expert level without any human interventi...
178
Voted
ANNS
2007
15 years 8 months ago
2007
The ability to store and retrieve information is critical in any type of neural network. In neural network, the memory particularly associative memory, can be defined as the one i...