4895 search results - page 874 / 979 » Tools for Grammar Engineering |
120
click to vote
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
ICCAD
2010
IEEE
14 years 8 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
IMC
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents a network layer Internet topology collection tool called tracenet. Compared to traceroute, tracenet can collect a more complete topology information on an end-...
WEBI
2010
Springer
14 years 7 months ago
2010
Springer
Like search engines, recommender systems have become a tool that cannot be ignored by websites with a large selection of products, music, news or simply webpages links. The perform...
135
click to vote
DLS
2009
14 years 7 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...