xmmsctrl

xmmsctrl 1.9

xmmsctrl是一​​个小工具来控制命令行XMMS。 xmmsctrl的目标是可以使用结合的sh测试xmms的状态，并执行适当的动作，例如如果播放暂停，然后玩别的。这样做的利益是绑定键在窗口管理器可以控制XMMS与那些播放/下一首/暂停，上一个，声音控制键...配置：创建在你的home目录下的一个目录.FancyLauncher然后复制插件目录中：CP -r的/ usr /本地/ FancyLauncher /插件〜/ .FancyLauncher...

3 Jun 15 在 音频软件
Linux
阅读更多
UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA是UPPAAL [BDL04]的延伸，它实现了第一个有效的即时算法求解基于定时游戏自动机相对于可达性和安全性的游戏。虽然定时游戏长期被称为是可判定出现到现在一直缺乏有效和真正的即时算法分析道。UPPAAL...

2 Jun 15
Linux
阅读更多
UPPAAL

UPPAAL 4.0.6

UPPAAL是一个集成工具环境建模，确认和验证建模为时间自动机的网络，扩展数据类型（整数界，数组等）的实时系统。UPPAAL CORA是UPPAAL的成本优化可达Anslysis一个分支由UPPAAL团队为VHS和AMETIST项目的一部分开发的。而支持UPPAAL时间自动机的模型检测，UPPAAL CORA使用时间自动机称为LPTA的延伸。 LPTA允许你注释模型与成本的概念。这可以是延迟在某些情况下或特定行动的成本的成本。 UPPAAL CORA然后找到匹配的目标条件下的最佳路径。UPPAAL...

2 Jun 15 在 开发者工具, 质量保证和软件测试
Linux
阅读更多
热门软件