525 search results - page 47 / 105 » Using Checkable Types in Automatic Protocol Analysis |
121
click to vote
ENGL
2007
15 years 2 months ago
2007
— The paper aims at designing a scheme for automatic identification of a species from its genome sequence. A set of 64 three-tuple keywords is first generated using the four type...
122
click to vote
ISI
2003
Springer
15 years 7 months ago
2003
Springer
Criminals have been using the Internet to distribute a wide range of illegal materials globally in an anonymous manner, making criminal identity tracing difficult in the cybercrime...
113
click to vote
FMOODS
2008
15 years 3 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
150
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
128
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...