427 search results - page 52 / 86 » Simulation of Advanced Transaction Models Using GOLOG |
ISCA
1992
IEEE
14 years 26 days ago
1992
IEEE
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...
VISUALIZATION
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we use advanced tensor visualization techniques to study 3D diffusion tensor MRI data of a heart. We use scalar and tensor glyph visualization methods to investigate...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
FASE
2004
Springer
14 years 15 days ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
CATA
2006
13 years 10 months ago
2006
Neither simulation results nor real system results give an explanation to the behavior of advanced computer systems for the full design spectrum. In this paper, we present simple ...