5683 search results - page 721 / 1137 » Interactive Schedulability Analysis |
203
click to vote
VDA
2010
15 years 10 months ago
2010
The analysis of binary data remains a challenge, especially for large or potentially inconsistent files. Traditionally, hex editors only make limited use of semantic information a...
272
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
189
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
225
click to vote
ACL
2007
15 years 9 months ago
2007
We study the issue of porting a known NLP method to a language with little existing NLP resources, specifically Hebrew SVM-based chunking. We introduce two SVM-based methods – ...
157
click to vote
BCSHCI
2007
15 years 9 months ago
2007
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...