1760 search results - page 352 / 352 » Program Analysis Using Weighted Pushdown Systems |
BMCBI
2004
13 years 6 months ago
2004
Background: Researchers who use MEDLINE for text mining, information extraction, or natural language processing may benefit from having a copy of MEDLINE that they can manage loca...
PVLDB
2008
13 years 5 months ago
2008
Companies providing cloud-scale services have an increasing need to store and analyze massive data sets such as search logs and click streams. For cost and performance reasons, pr...
LICS
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
CCS
2006
ACM
13 years 10 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
BMCBI
2006
13 years 6 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...