8179 search results - page 371 / 1636 » The PRACTIONIST Development Tool |
191
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
179
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
209
click to vote
JAR
2010
15 years 1 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
197
click to vote
MASS
2010
15 years 1 months ago
2010
SensLAB's goal is to provide a very large scale open wireless sensor network testbed, by deploying 1024 nodes over 4 interconnected sites, and to offer a reference tool for th...
288
click to vote
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper presents Evolutionary Optimization Tool (Evoptool), an optimization toolkit that implements a set of meta-heuristics based on the Evolutionary Computation paradigm. ...