Sciweavers

1336 search results - page 128 / 268
» SMTP Path Analysis
Sort
View
ACL
2004
13 years 10 months ago
Optimizing Typed Feature Structure Grammar Parsing through Non-Statistical Indexing
This paper introduces an indexing method based on static analysis of grammar rules and type signatures for typed feature structure grammars (TFSGs). The static analysis tries to p...
Cosmin Munteanu, Gerald Penn
DATE
2006
IEEE
66views Hardware» more  DATE 2006»
14 years 3 months ago
On test conditions for the detection of open defects
The impact of test conditions on the detectability of open defects is investigated. We performed an inductive fault analysis on representative standard gates. The simulation resul...
Bram Kruseman, Manuel Heiligers
APSEC
2005
IEEE
14 years 2 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
ICDCS
2005
IEEE
14 years 2 months ago
Characterizing and Predicting TCP Throughput on the Wide Area Network
DualPats exploits the strong correlation between TCP throughput and flow size, and the statistical stability of Internet path characteristics to accurately predict the TCP throug...
Dong Lu, Yi Qiao, Peter A. Dinda, Fabián E....
ICRA
2003
IEEE
139views Robotics» more  ICRA 2003»
14 years 2 months ago
Vehicle motion planning using stream functions
– Borrowing a concept from hydrodynamic analysis, this paper presents stream functions which satisfy Laplace’s equation as a local-minima free method for producing potential-ï¬...
Stephen Waydo, Richard M. Murray