4299 search results - page 666 / 860 » Concurrent Test Generation |
138
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
—Cloud computing has emerged as a new technology that provides large amount of computing and data storage capacity to its users with a promise of increased scalability, high avai...
149
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...
152
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
182
Voted
EMS
2009
IEEE
15 years 10 months ago
2009
IEEE
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...
136
click to vote
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
BLASTn is a tool universally used by biologists to identify similarities between nucleotide based biological genome sequences. This report describes an FPGA based hardware impleme...