1071 search results - page 64 / 215 » Using Cell-DEVS for Modeling Complex Cell Spaces |
132
Voted
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
146
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In a distributed space-time coding scheme, based on the relay channel model, the relay nodes co-operate to linearly process the transmitted signal from the source and forward them ...
119
click to vote
EUMAS
2006
15 years 4 months ago
2006
One of the major puzzles in performing multi-agent-based simulations is the validity of their results. Optimisation of simulation parameters can lead to results that can be deceit...
136
click to vote
ESAW
2007
Springer
15 years 9 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
133
click to vote
VISUALIZATION
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...