274 search results - page 4 / 55 » Universal extensions to simulate specifications |
ECCC
2010
13 years 7 months ago
2010
We give two time- and space-efficient simulations of quantum computations with intermediate measurements, one by classical randomized computations with unbounded error and the oth...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
AAAI
2006
13 years 9 months ago
2006
Present developments in the natural sciences are providing enormous and challenging opportunities for various AI technologies to have an unprecedented impact in the broader scient...
IJOE
2006
13 years 7 months ago
2006
Educational games may improve learning by taking advantage of the new knowledge and skills of today's students obtained from extensive use of interactive games. This paper des...
WSC
2008
13 years 10 months ago
2008
Developing mechanisms for the efficient exchange of information between simulations and other manufacturing tools is a critical problem. For many areas of manufacturing, neither r...