4285 search results - page 268 / 857 » Differential Behavioral Analysis |
167
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
186
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
224
click to vote
SOSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
146
click to vote
IV
2006
IEEE
16 years 21 days ago
2006
IEEE
iQuest is a novel software system to improve understanding of organizational phenomena with greater precision, clarity, and granularity than has previously been possible. It permi...
172
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents an alternative formulation of the PSO dynamics by a closed loop control system, and analyzes the stability behavior of the system by using Jury's test and ...