共 50 条
- [41] Dynamic State Space Partitioning for External Memory Model Checking FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 70 - +
- [42] Dynamic delayed duplicate detection for external memory model checking MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 77 - 94
- [43] On dynamic breadth-first search in external-memory STACS 2008: PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 2008, : 551 - 560
- [46] External matching in UDDI IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 226 - 233
- [48] The String-to-Dictionary Matching Problem 2011 DATA COMPRESSION CONFERENCE (DCC), 2011, : 143 - 152
- [49] Indexing a dictionary for subset matching queries STRING PROCESSING AND INFORMATION RETRIEVAL, PROCEEDINGS, 2007, 4726 : 195 - +