Sciweavers

23004 search results - page 161 / 4601
» Evaluation of Adaptive Systems
Sort
View
IPPS
2000
IEEE
15 years 10 months ago
Network Load Monitoring in Distributed Systems
Monitoring the performance of a network by which a real-time distributed system is connected is very important. If the system is adaptive or dynamic, the resource manager can use t...
Kazi M. Jahirul Islam, Behrooz Shirazi, Lonnie R. ...
NETWORKING
2004
15 years 7 months ago
Metadata Design for Introspection-Capable Reconfigurable Systems
Global vision consensus on the next generation of wireless mobile communications, broadly termed 4G, sketches a hybrid infrastructure, comprising different wireless access systems ...
Vangelis Gazis, Nancy Alonistioti, Lazaros F. Mera...
SIAMNUM
2011
328views more  SIAMNUM 2011»
15 years 24 days ago
First-Order System Least Squares for Coupled Stokes-Darcy Flow
The coupled problem with Stokes flow in one subdomain and a Darcy flow model in a second subdomain is studied in this paper. Both flow problems are treated as first-order syste...
Steffen Münzenmaier, Gerhard Starke
ECIS
2000
15 years 7 months ago
Melding Information Systems Evaluation with the Information Systems Development Life-Cycle
- In this paper we consider the synergy between two areas of IS literature: that concerned with the evaluation of information systems and that concerned with explaining the phenome...
Paul Beynon-Davies, Ian Owens, Michael Lloyd-Willi...
197
Voted
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 6 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...