2784 search results - page 145 / 557 » Light analysis of complex systems |
110
Voted
SOSP
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
134
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
95
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
In many physical statistical, biological and other investigations it is desirable to approximate a system of points by objects of lower dimension and/or complexity. For this purpo...
155
Voted
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...
152
Voted
JCM
2006
15 years 2 months ago
2006
The performance of peer-to-peer systems depends on the level of cooperation of the system's participants. While most existing peer-to-peer architectures have assumed that user...