2004 search results - page 398 / 401 » Comparison of Model Checking Tools for Information Systems |
113
Voted
LREC
2010
15 years 3 months ago
2010
We have previously reported on ProPOSEL, a purpose-built Prosody and PoS English Lexicon compatible with the Python Natural Language ToolKit. ProPOSEC is a new corpus research res...
121
click to vote
NAR
2011
14 years 4 months ago
2011
REPAIRtoire is the first comprehensive database resource for systems biology of DNA damage and repair. The database collects and organizes the following types of information: (i) ...
127
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
109
click to vote
ISI
2006
Springer
15 years 1 months ago
2006
Springer
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...
128
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...