이 있어야 함 소프트웨어 에 Linux

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

UProxy은 UDP 프로토콜에 대한 프록시입니다. UProxy는 처음 사용자가 언리얼 토너먼트는 전화 접속 연결을 공유하는 컴퓨터에서 인터넷을 통해 일치 재생할 수 있도록 설계되었습니다.UProxy은 UDP 프로토콜을 사용하여 고정 포트를 바인딩하는 클라이언트를 필요로하지 않는 클라이언트 - 서버 응용 프로그램에서 사용할 수 있습니다. UProxy는 윈도우, 리눅스, 또는 BSD 소켓을 지원하는 모든 OS에서 실행해야합니다.처음 UProxy는 언리얼...

프로그램 코드 및 프로그램 상태는 단일 단계로 즉시 갱신된다.그것은 대기 프로그램 상태 무기한 대기 할 필요가 없습니다. 실행 알고리즘은 중류 실행을 업데이트하고 다른 알고리즘의 다른 지점 (반드시 시작)에서 다시 시작할 수 있습니다 이 특징 : 있습니다. 재귀 :재귀 풀릴 때, 스택의 중첩 된 깊은 추가 정보를보고있는 동안, 재귀 피보나치 수열을 계산하는 프로그램을 갱신.네트워크 소켓 :네트워크 소켓을 닫지 않고 여러 클라이언트를 제공하는 동안...

갑자기 출세는 오픈 소스 드롭 인 (drop-in) 잘 리눅스 운영의 부팅 과정에서 certains 서비스와 작업을 시작하기위한 소프트웨어 (또한 시스템 V 초기화 또는 경우 / sbin / 초기화 데몬이라고도 함) 알려진, 아직 initd되지 교체 시스템, OS를 사용하는 동안 그들을 관리뿐만 아니라 초기화 데몬과 출세 사이의 리눅스 distributionsThe 주요 차이점에 구축이 용이 한 shutdown.It의가, 후자는 시스템 시작 및 종료하는...

Upstartx 데비안 기반의 리눅스 배포판에 더 쉽게 신출내기 데몬 서비스를 확인하기위한 오픈 소스 그래픽 응용 프로그램입니다.제대로 실행하기 위해, Upstartx는 갑자기 출세 한 소프트웨어가 필요합니다. 그것은 우분투와 벼락 출세 데몬을 사용하는 다른 리눅스 운영체제에서 사용할 수 있습니다. 요구 사항 : 갑자기 출세...

가동 시간은 그놈의 상태 영역에서 컴퓨터의 가동 시간을 표시하는 그놈 쉘 확장 기능입니다.이 확장을 설치하려면 그놈 쉘 설치 또는 계피 있어야합니다. 그러나, 계피 테스트되지 않았 음을 명심 이 요구 사항 :. 이 그놈그놈...

가동 시간 표시는 GNOME & NBSP의 상태 영역에서 시스템의 가동 시간을 표시하는 그놈 쉘 확장이다 패널.이 확장을 설치하려면 그놈 쉘 설치 또는 계피 있어야합니다. 그러나, 계피 테스트되지 않았 음을 명심 이 요구 사항 :. 이 그놈그놈...

Uptimed는 가동 시간 데몬 (최고의 가동 시간을 기록)입니다.Uptimed 프로젝트는 로버트 존 Kaper에 의해 만들어진하지만 로버트가 작업에 압도되어 있기 때문에 지금 나에 의해 유지된다.대신에 서로 이격 세션을 유지하는 PID 파일을 사용하는 동안, 시스템 부팅 시간을 사용한다.Uptimed는 시스템 로그 및 전자 메일을 통해 기록과 이정표를 알려 할 수있는 능력을 가지고 있으며, 또한 쉽게 웹 페이지에 레코드를 표시하는 데 사용할 수있는...

UPX (실행 파일에 대한 궁극적 인 패커 짧은) 실행 파일을 포장하는 데 사용할 수있는 휴대용 엔디안 중립적 인 C ++로 작성된 무료, 오픈 소스, 확장 가능한 휴대용 고성능 명령 줄 소프트웨어입니다.실행 파일에 대한 궁극적 인 패커 우수한 압축 비율, 확장, 검사 통합, 매우 빠른 압축 해제 기능을 사용자가 실행 파일을 나열 테스트 및 포장을 할 수 있으며, 실행 가능한 다양한 유형의 팩을 할 수 있습니다.UPX는 리눅스 커널을 포함한 많은 실행...

는 URandR PyGTK 작성된 RandR 1.2 GUI (그​​래픽 사용자 인터페이스)이다. IT는 RandR 1.2 기본 기능을 설명하고 미경 사용자를위한 가능한 멀티 헤드 구성으로 쉽게하는 것을 목표로하고있다.쓰임새...