1809 search results - page 300 / 362 » Software Model Checking Using Linear Constraints |
132
Voted
WSC
1997
15 years 3 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
151
Voted
TES
2001
Springer
15 years 6 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
146
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Modern scientific collaborations have opened up the opportunity of solving complex problems that involve multidisciplinary expertise and large-scale computational experiments. The...
143
Voted
ICEGOV
2009
ACM
14 years 12 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
153
Voted
ARC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Financial applications are one of many fields where a multivariate Gaussian random number generator plays a key role in performing computationally extensive simulations. ...