223 search results - page 26 / 45 » New methods and coverage metrics for functional verification |
132
Voted
ICCS
2009
Springer
14 years 10 months ago
2009
Springer
Protein loop structure modeling is regarded as a mini protein folding problem with significant scientific importance. Efficiently sampling the loop conformation space is a key step...
197
Voted
POPL
2006
ACM
16 years 23 days ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
109
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
We consider the problem of learning to rank relevant and novel documents so as to directly maximize a performance metric called Expected Global Utility (EGU), which has several de...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
81
Voted
EG
2006
15 years 14 days ago
2006
: E-government systems are subject to a continual change. The importance of better change management is nowadays, more important due to the evolution of Europe towards a multicultu...