Pavlos Konas

Learn More
A collection of code generation tools which assist designers in the functional verification of high performance microprocessors is presented. These tools produce interesting test cases by using a variety of code generation methods including heuristic algorithms, constraint-solving systems, user-provided templates, and pseudorandom selection. Run-time(More)
This paper describes the implementation and the performance study of three parallel discrete event simulation methods on a shared memory machine. These methods, which share a single user interface, include the Chandy-Misra paradigm with deadlock avoidance; the Time Warp approach with direct, aggressive, and lazy cancellation; and a hybrid approach, which(More)
In recent years, advances in technology and in the area of computer architecture have resulted in increasingly more complex designs. As the complexity of the designs increases, simulation becomes the only viable method for gaining insight into the operation of new as well as existing computer systems. One way to meet the excessive processing requirements of(More)
We know active and passive methods of a location. This article deals only with a passive location of dynamic targets. The passive optics location is suitable just for tracking of targets with mean velocity which is limited by the hardware basis. The aim of this work is to recognize plasma, particles etc. It is possible to propose such kind of evaluation(More)
Chief is a comprehensive, integrated simulation environment for studying all aspects of parallel system design and performance evaluation including architectures, compilers, algorithms and applications, and simulation techniques. Chief provides this level of functionality through the integration of restructuring / parallelizing compilers, trace generation(More)
In this chapter we describe a framework for object-oriented parallel simulation. We propose a layered approach which combines the advantages of object-oriented design and programming, with the performance provided by parallel discrete event simulation. The main characteristics of our approach is the modularity promoted by the division into layers and the(More)