2144 search results - page 254 / 429 » Exact Flow Analysis |
185
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Coalition formation is a key topic in multi–agent systems (mas). Coalitions enable agents to achieve goals that they may not have been able to achieve independently, and encoura...
160
click to vote
ECOOP
2007
Springer
16 years 10 days ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
150
click to vote
PLDI
2006
ACM
16 years 4 days ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
187
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Proteins that evolve from a common ancestor can change functionality over time, and it is important to be able identify residues that cause this change. In this paper ...