1158 search results - page 41 / 232 » Software is discrete mathematics |
LCTRTS
2010
Springer
14 years 2 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
CCGRID
2007
IEEE
14 years 2 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
SPRINGSIM
2010
13 years 6 months ago
2010
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
SIAMREV
2011
12 years 10 months ago
2011
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents how a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done, was evaluated by the teachers and the student...