27913 search results - page 210 / 5583 » Simulation |
125
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
104
click to vote
MASCOTS
2010
15 years 3 months ago
2010
The simulation models of wireless networks rapidly increase in complexity to accurately model wireless channel characteristics and the properties of advanced transmission technolog...
103
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
Research community on distributed systems, and in particular on peer-to-peer systems, needs tools for evaluating their own protocols and services, as well as against other protoco...
101
click to vote
CDES
2006
15 years 3 months ago
2006
In this paper we define splicing rules for class II restriction endonucleases and show how a Turing Machine can be simulated using such rules.
114
Voted
IADIS
2004
15 years 3 months ago
2004
This paper presents an analysis of the degree to which attitudes towards an Internet-based simulation depend on how satisfied participants are with the software used. The theoreti...