2947 search results - page 144 / 590 » Analyzing Program Analyses |
138
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
115
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
The VizzAnalyzer is a framework for analyses and visualizations of software. It has been developed over years, to a great deal by students and PhD students. In between it has been...
135
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
144
click to vote
PPSN
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...
149
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...