12272 search results - page 84 / 2455 » Experimental program analysis |
ANCS
2008
ACM
15 years 2 months ago
2008
ACM
Over the last decade, programmable Network Processors (NPs) have become widely used in Internet routers and other network components. NPs enable rapid development of complex packe...
85
Voted
EOR
2006
15 years 23 days ago
2006
CT In this paper some experimental sequential models for the simulation of trip-chains are presented; the models have been calibrated on the base of a survey made in a medium-sized...
125
click to vote
DLOG
2010
14 years 10 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
91
Voted
FMCO
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
189
Voted
POPL
2001
ACM
16 years 1 months ago
2001
ACM