3446 search results - page 552 / 690 » A Reasoning Algorithm for pD* |
147
Voted
DAC
2007
ACM
15 years 8 months ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
156
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
137
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
172
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Searching in metric spaces is a very active field since it offers methods for indexing and searching by similarity in collections of unstructured data. These methods sele...
166
click to vote
FCCM
2009
IEEE
15 years 8 months ago
2009
IEEE
Scheduling and partitioning of task graphs on reconfigurable hardware needs to be carefully carried out in order to achieve the best possible performance. In this paper, we demons...