Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394045)
From MaRDI portal
scientific article; zbMATH DE number 5066962
Language | Label | Description | Also known as |
---|---|---|---|
English | Applying Formal Methods: Testing, Performance, and M/E-Commerce |
scientific article; zbMATH DE number 5066962 |
Statements
Applying Formal Methods: Testing, Performance, and M/E-Commerce (English)
0 references
24 October 2006
0 references
Block multithreading
0 references
instruction issuing
0 references
pipelined processors
0 references
timed Petri nets
0 references
performance analysis
0 references
event-driven simulation
0 references