1714 search results - page 151 / 343 » Abstract Models of Memory Management |
125
Voted
TVLSI
2008
15 years 3 months ago
2008
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...
143
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
160
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
115
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
118
Voted
ECML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Learning to act in an unknown partially observable domain is a difficult variant of the reinforcement learning paradigm. Research in the area has focused on model-free m...