9626 search results - page 365 / 1926 » Invariant Based Programming |
172
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
140
Voted
NPC
2007
Springer
16 years 25 days ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
173
click to vote
CLUSTER
2003
IEEE
15 years 12 months ago
2003
IEEE
Hmmpfam is a widely used computation-intensive bioinformatics software for sequence classification. The contribution of this paper is the first largely scalable and robust clust...
207
click to vote
IWSOC
2003
IEEE
15 years 12 months ago
2003
IEEE
In embedded systems, memory is one of the most expensive resources. Due to this, program code size has turned out to be one of the most critical design constraints. Code compressi...
189
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
Some designers of class-based object oriented languages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of...