Sciweavers

3688 search results - page 98 / 738
» Static analysis of aspects
Sort
View
73
Voted
WSC
2000
15 years 1 months ago
Practical aspects of simulating systems having arrival processes with long-range dependence
Analysis of network traffic indicates that packet arrival processes have significant stochastic dependence. It has been suggested that this dependence is so strong as to be wellmo...
Robert Geist, James Westall
SCAM
2007
IEEE
15 years 6 months ago
SUDS: An Infrastructure for Creating Bug Detection Tools
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
Eric Larson
ICDCS
2010
IEEE
15 years 3 months ago
Quantifying and Querying Network Reachability
—Quantifying and querying network reachability is important for security monitoring and auditing as well as many aspects of network management such as troubleshooting, maintenanc...
Amir R. Khakpour, Alex X. Liu
COGSCI
2008
78views more  COGSCI 2008»
15 years 3 min ago
Space Between Languages
What aspects of spatial relations influence speakers' choice of locative? This article presents a study of static spatial descriptions from 24 languages. The study reveals tw...
Michele I. Feist
ICSE
2008
IEEE-ACM
16 years 21 days ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu