5707 search results - page 393 / 1142 » Symbolic Simulation - Techniques and Applications |
206
click to vote
FPL
1999
Springer
15 years 12 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
196
click to vote
ISCA
1996
IEEE
15 years 11 months ago
1996
IEEE
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
182
click to vote
ICMAS
2000
15 years 9 months ago
2000
This paper describes an analysis of benevolent agents in multiagent systems (MAS). We first present a definition and motivation for benevolence that is appropriate for MAS. We the...
234
click to vote
TPDS
1998
15 years 7 months ago
1998
—Many time-critical applications require predictable performance and tasks in these applications have deadlines to be met. In this paper, we propose an efficient algorithm for no...
240
click to vote
Source Code
"Blender is a free 3D graphics application. It can be used for modeling, UV unwrapping, texturing, rigging, water simulations, skinning, animating, rendering, particle and oth...