1304 search results - page 173 / 261 » Model Checking C Programs Using F-SOFT |
121
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Although testing for simultaneous divergence (vicariance) across different population-pairs that span the same barrier to gene flow is of central importance to evoluti...
125
Voted
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
122
Voted
ASM
2010
ASM
16 years 16 days ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
142
Voted
FAC
2000
15 years 3 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
146
click to vote
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...