65 search results - page 13 / 13 » EMMA: Explicit Model Checking Manager (Tool Presentation) |
IUI
2003
ACM
13 years 10 months ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
VLDB
2008
ACM
14 years 5 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
HCW
1998
IEEE
13 years 9 months ago
1998
IEEE
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...
IWOMP
2007
Springer
13 years 11 months ago
2007
Springer
The Cell processor is a heterogeneous multi-core processor with one Power Processing Engine (PPE) core and eight Synergistic Processing Engine (SPE) cores. Each SPE has a directly...
CP
2008
Springer
13 years 7 months ago
2008
Springer
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...