1855 search results - page 274 / 371 » Composing model programs for analysis |
115
Voted
WSC
1998
15 years 4 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
174
Voted
CONCURRENCY
2000
15 years 2 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...
142
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
135
Voted
SARA
2009
Springer
15 years 9 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
100
Voted
CONEXT
2006
ACM
15 years 8 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...