27913 search results - page 659 / 5583 » Simulation |
200
Voted
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
177
click to vote
ISLPED
1995
ACM
15 years 10 months ago
1995
ACM
We present a transistor level power estimator which exploits algorithms for fast circuit simulation to compute the power dissipation of CMOS circuits. The proposed approach uses s...
176
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
195
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Simulated evolution by the use of Genetic Algorithms (GA) is presented as the solution to a twofaceted problem: the challenge for an autonomous agent to learn the reactive componen...
193
Voted
ETRA
2008
ACM
15 years 8 months ago
2008
ACM
We describe an open-source software framework that simulates the measurements made using one or several cameras in a videooculographic eye tracker. The framework can be used to co...