10539 search results - page 1914 / 2108 » On L |
173
click to vote
ISPASS
2005
IEEE
16 years 3 days ago
2005
IEEE
Recent advances in bioinformatics and the significant increase in computational power available to researchers have made it possible to make better use of the vast amounts of gene...
142
click to vote
IWPC
2005
IEEE
16 years 3 days ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
203
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
195
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
170
click to vote
ASPDAC
2005
ACM
16 years 2 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...