2004 search results - page 398 / 401 » Comparison of Model Checking Tools for Information Systems |
LREC
2010
15 years 1 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...
104
click to vote
NAR
2011
14 years 2 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) ...
103
click to vote
IPPS
1998
IEEE
15 years 3 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...
ISI
2006
Springer
14 years 11 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...
105
Voted
CONCURRENCY
1998
14 years 11 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...