-
Globus Toolkit
- Referenced in 176 articles
[sw09648]
- includes software services and libraries for resource monitoring, discovery, and management, plus security and file...
-
strucchange
- Referenced in 62 articles
[sw07118]
- package strucchange: Testing, Monitoring, and Dating Structural Changes. Testing, monitoring and dating structural changes ... statistics, respectively. It is possible to monitor incoming data online using fluctuation processes. Finally...
-
mfem
- Referenced in 50 articles
[sw22316]
- efficient averaging technique is included to monitor the discretization error. Therein, emphasis...
-
Surveillance
- Referenced in 35 articles
[sw00932]
- surveillance: Temporal and Spatio-Temporal Modeling and Monitoring of Epidemic Phenomena: The intention ... temporal and spatio-temporal visualization, modelling and monitoring of epidemic phenomena. This includes count, binary...
-
Eraser
- Referenced in 45 articles
[sw08922]
- programs. Eraser uses binary rewriting techniques to monitor every shared-monory reference and verify that...
-
JPAX
- Referenced in 30 articles
[sw09906]
- short referred to as JPAX. JPAX can monitor the execution of a Java program ... then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into...
-
EnviroStat
- Referenced in 26 articles
[sw11048]
- used to design networks for monitoring environmental processes. The fourth part shows ... ungauged sites are estimated and potential new monitoring sites are selected. The mathematical theory...
-
Pex
- Referenced in 36 articles
[sw07263]
- Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver...
-
MPICH-G2
- Referenced in 35 articles
[sw02373]
- well as for process creation, monitoring, and control. Various performance-critical operations, including startup...
-
SFSDP
- Referenced in 33 articles
[sw04793]
- problems. These types of problems arise in monitoring and controlling applications using wireless sensor networks...
-
Korat
- Referenced in 33 articles
[sw07259]
- predicate but does so efficiently by monitoring the predicate’s executions and pruning large portions...
-
ABLE
- Referenced in 33 articles
[sw12726]
- Hermitian Lanczos algorithm is generalized to monitor the loss of biorthogonality and maintain semibiorthogonality among...
-
LSODA
- Referenced in 30 articles
[sw27217]
- uses the nonstiff method initially, and dynamically monitors data in order to decide which method...
-
PETSc/TS
- Referenced in 30 articles
[sw41126]
- solver types, adaptive error control, and monitoring of solution progress. The library also offers enormous...
-
Java-MOP
- Referenced in 21 articles
[sw14034]
- Java-MOP: A monitoring oriented programming environment for Java. A Java-based tool-supported software ... development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
-
Autograph
- Referenced in 16 articles
[sw23929]
- Today’s Internet intrusion detection systems (IDSes) monitor edge networks’ DMZs to identify and/or filter ... byte patterns sought in monitored traffic to identify worms--today entails non-trivial human labor ... also shares port scan reports among distributed monitor instances; using trace-driven simulation...
-
Breach
- Referenced in 26 articles
[sw20822]
- major novel feature is the robust monitoring of metric interval temporal logic (MITL) formulas...
-
NetLogger
- Referenced in 15 articles
[sw10568]
- logs, an interface to a system event-monitoring framework, and tools for visualizing ... tools, therefore we evaluate efficiency of the monitoring itself. The approach is novel in that ... combines network, host, and application-level monitoring, providing a complete view of the entire system...
-
R2jags
- Referenced in 24 articles
[sw11796]
- analysis in JAGS. Some major features include monitoring convergence of a MCMC model using Rubin...
-
GRASS GIS
- Referenced in 22 articles
[sw04501]
- tools to render maps and images on monitor and paper; manipulate raster, vector, and sites...