9974 search results - page 1723 / 1995 » Software Interconnection Models |
117
Voted
ANSS
2004
IEEE
15 years 7 months ago
2004
IEEE
To enable optimizations in memory access behavior of high performance applications, cache monitoring is a crucial process. Simulation of cache hardware is needed in order to allow...
120
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
137
Voted
BIBE
2004
IEEE
15 years 7 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
175
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
140
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...