Sciweavers

14078 search results - page 74 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
117
Voted
DAC
2004
ACM
16 years 3 months ago
Quantum logic synthesis by symbolic reachability analysis
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Y...
133
Voted
IPPS
2008
IEEE
15 years 9 months ago
Translational research design templates, Grid computing, and HPC
Design templates that involve discovery, analysis, and integration of information resources commonly occur in many scientific research projects. In this paper we present examples o...
Joel H. Saltz, Scott Oster, Shannon Hastings, Step...
93
Voted
WSC
2008
15 years 4 months ago
Comparing designs for computer simulation experiments
The use of simulation as a modeling and analysis tool is wide spread. Simulation is an enabling tool for experimenting virtually on a validated computer environment. Often the und...
Rachel T. Johnson, Bradley Jones, John W. Fowler, ...
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
15 years 7 months ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
103
Voted
ECTEL
2007
Springer
15 years 8 months ago
Representing Computer-Supported Collaborative Learning Macro-scripts using IMS Learning Design
IMS Learning Design (LD) is a specification that aims at computationally representing any learning process. However, the possibilities of LD to represent collaborative learning sce...
Davinia Hernández Leo, Daniel Burgos, Colin...