11231 search results - page 2037 / 2247 » Digging for Data Structures |
128
click to vote
ENTCS
2007
15 years 3 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
112
click to vote
ENTCS
2007
15 years 3 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
142
Voted
JSAC
2006
15 years 3 months ago
2006
Abstract--Packet matching plays a critical role in the performance of many network devices and a tremendous amount of research has already been invested to come up with better opti...
109
click to vote
ENTCS
2007
15 years 3 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
139
click to vote
JSAC
2006
15 years 3 months ago
2006
High-speed packet content inspection and filtering devices rely on a fast multi-pattern matching algorithm which is used to detect predefined keywords or signatures in the packets....