7366 search results - page 1303 / 1474 » Development of the Information Systems Implementation Resear... |
139
click to vote
IJFCS
2006
15 years 4 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
141
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
154
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
144
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: With the explosion of microarray studies, an enormous amount of data is being produced. Systematic integration of gene expression data from different sources increases...
127
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: The study of biological systems demands computational support. If targeting a biological problem, the reuse of existing computational models can save time and effort. ...