Sciweavers

6102 search results - page 77 / 1221
» Generating Optimizing Specializers
Sort
View
CSSE
2008
IEEE
14 years 2 months ago
Generation of Executable Representation for Processor Simulation with Dynamic Translation
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
Jiajia Song, HongWei Hao, Claude Helmstetter, Vani...
ISMVL
2005
IEEE
90views Hardware» more  ISMVL 2005»
14 years 1 months ago
Test Generation and Fault Localization for Quantum Circuits
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
Marek A. Perkowski, Jacob Biamonte, Martin Lukac
IV
2005
IEEE
101views Visualization» more  IV 2005»
14 years 1 months ago
Generation of Graphical Representations of Student Tracking Data in Course Management Systems
An approach of employing Information Visualisation to develop systems that facilitate instructors in web-based distance learning is presented here. The paper describes a tool, cal...
Riccardo Mazza, Vania Dimitrova
BIRTHDAY
2003
Springer
14 years 1 months ago
Petri Net Analysis Using Invariant Generation
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
DATE
2002
IEEE
242views Hardware» more  DATE 2002»
14 years 26 days ago
Automatic Generation of Common-Centroid Capacitor Arrays with Arbitrary Capacitor Ratio
The key performance of many analog circuits is directly related to accurate capacitor ratios. It is well known that capacitor ratio precision is greatly enhanced by paralleling id...
Mohamed Dessouky, DiaaEldin Sayed