2877 search results - page 349 / 576 » Biological Computing |
140
click to vote
ASM
2005
ASM
16 years 2 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
180
click to vote
ASM
2005
ASM
16 years 2 days ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
162
click to vote
OOPSLA
2005
Springer
16 years 16 hour ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
149
click to vote
ASM
2004
ASM
15 years 12 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
162
click to vote
ASM
2004
ASM
15 years 12 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...