xmmsctrl

xmmsctrl 1.9

xmmsctrl 명령 줄에서 XMMS를 제어하는​​ 작은 유틸리티입니다. xmmsctrl의 목적은, 예를 XMMS 상태를 테스트하고 적절한 조치를 수행하는 SH와 결합 사용되는 재생이라면 다른 재생을 일시 중지합니다.이것의 관심은 / 다음 / 일시 정지, 이전, 제어 사운드를 재생 않습니다 키 XMMS를 제어 할 수있는 창 관리자에 키를 결합하는 것입니다 ...구성 : 홈 디렉토리 디렉토리 .FancyLauncher에 만든 다음에 플러그인 디렉토리를...

3 Jun 15 에 오디오 소프트웨어
Linux
자세한 내용을
UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA는 UPPAAL [BDL04]의 확장이며 도달 가능성 및 안전 특성에 대한 시간 제한 게임 오토마타 기반으로 게임을 해결하기위한 최초의 효율적인 온 - 더 - 플라이 알고리즘을 구현한다.긴 용 타이밍 된 게임이 decidable 것으로 알려져 왔지만, 지금까지 그 분석 효율적인 진정 즉석 알고리즘의 부족이있다.UPPAAL TIGA는 해당 서버와 사용자 친화적 인 그래픽 인터페이스 및 명령 행 검증을 제공합니다.우리 [CDFLL05]...

2 Jun 15
Linux
자세한 내용을
UPPAAL

UPPAAL 4.0.6

UPPAAL 모델링, 검증 및 데이터 유형 확장 타임 드 오토마타의 네트워크 (경계 정수, 배열 등)로서 모델링 실시간 시스템의 검증을위한 통합 툴 환경이다.UPPAAL 코라는 VHS와하기 Ametist 프로젝트의 일환으로 UPPAAL 팀에 의해 개발 비용 최적의 도달 가능성 Anslysis에 대한 UPPAAL의 지점입니다. UPPAAL는 시간 제한 오토마타의 모델 검사를 지원하는 반면, UPPAAL 코라는 LPTA라는 시간 제한 오토마타의 확장을...

2 Jun 15 에 개발자 도구, 품질 보증 및 테스트 소프트웨어
Linux
자세한 내용을
인기있는 소프트웨어