411 search results - page 63 / 83 » Algebraic Imperative Specifications |
143
Voted
JAVA
2000
Springer
15 years 5 months ago
2000
Springer
Java is an attractive environment for writing portable message passing parallel programs. Considerable work in message passing interface bindings for the C and Fortran languages h...
117
click to vote
EENERGY
2010
15 years 5 months ago
2010
Power consumption of the Information and Communication Technology sector (ICT) has recently become a key challenge. In particular, actions to improve energy-efficiency of Internet...
123
click to vote
ESEM
2008
ACM
15 years 3 months ago
2008
ACM
Project managers can use capture-recapture models to manage the inspection process by estimating the number of defects present in an artifact and determining whether a reinspectio...
112
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: The expansion of raw protein sequence databases in the post genomic era and availability of fresh annotated sequences for major localizations particularly motivated us...
114
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: High throughput methods of the genome era produce vast amounts of data in the form of gene lists. These lists are large and difficult to interpret without advanced com...