11215 search results - page 189 / 2243 » Skeleton - Easy Simulation System |
109
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
109
Voted
WSC
1997
15 years 2 months ago
1997
Recent evidence suggests that some characteristics of computer and telecommunications systems may be well described using heavy tailed distributions — distributions whose tail d...
96
Voted
PADS
2000
ACM
15 years 5 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
107
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Reservoir modeling is an on-going activity during the production life of a reservoir. One challenge to constructing accurate reservoir models is the time required to carry out ...
92
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...