714 search results - page 36 / 143 » The Formal Specification Language mCRL2 |
131
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
163
Voted
DAGSTUHL
1993
15 years 5 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
229
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
147
Voted
TSE
1998
15 years 3 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
137
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...