UPPAAL

UPPAAL 4.0.6

UPPAAL היא סביבת כלי משולבת לדוגמנות, אימות ואימות של מערכות זמן אמת דגם כמו רשתות של אוטומטים מתוזמן, הרחיבו עם סוגי נתונים (מספרים שלמים חסום, מערכים, וכו ').UPPAAL קורה הוא סניף של UPPAAL לעלות האופטימלית reachability Anslysis פותח על ידי צוות...

2 Jun 15 בתוך כלי פיתוח, אבטחת איכות ובדיקות תוכנה
Linux
קרא עוד
UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL Tiga הוא הרחבה של [BDL04] UPPAAL והוא מיישם את האלגוריתם יעיל הראשון ב- the-fly לפתרון משחקים מבוססים על אוטומטים משחק מתוזמן ביחס לנכסי reachability ובטיחות.למרות שמשחקי מתוזמן לכבר מזמן ידועים כלהכריע בי עד עכשיו יש כבר חוסר אלגוריתמים יעילים...

2 Jun 15
Linux
קרא עוד
xmmsctrl

xmmsctrl 1.9

xmmsctrl הוא כלי קטן כדי לשלוט XMMS משורת הפקודה. המטרה של xmmsctrl היא לשמש בשילוב עם sh לבדוק מדינת XMMS ולבצע פעולה מתאימה, למשל אם שיחק אז להשהות משחק אחר.העניין זה הוא לאגד את מפתחות במנהל חלונות יש שליטה על XMMS עם מפתחות שמשחקים / הבאה / שהייה,...

3 Jun 15 בתוך תוכנות אודיו
Linux
קרא עוד
תוכנה פופולרית