NASA Technical Reports Server (Ntrs) 20040152104: Vidi: Virtual Diagnostics interface. Volume 2; Unified File Format and Web Services as Applied to Seamless Data Transfer by NASA Technical Reports Server (Ntrs); publi...
详细信息
NASA Technical Reports Server (Ntrs) 20040152104: Vidi: Virtual Diagnostics interface. Volume 2; Unified File Format and Web Services as Applied to Seamless Data Transfer by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20110002727: Space Telecommunications Radio Architecture (Strs): Technical Overview by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20110002727: Space Telecommunications Radio Architecture (Strs): Technical Overview by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20150023445: the Open Data Repositorys Data Publisher by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20150023445: the Open Data Repositorys Data Publisher by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20090033133: Sharesync: a Solution for Deterministic Data Sharing Over Ethernet by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20090033133: Sharesync: a Solution for Deterministic Data Sharing Over Ethernet by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20140012582: Telescience Resource Kit (Trek) by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20140012582: Telescience Resource Kit (Trek) by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
Táto diplomová práca navrhuje možnosti využívania nástrojov Business Intelligence vo vybranej firme. Na základe analýz zvažuje náklady pre zavedenie, hodnotí ekonomický...
详细信息
Táto diplomová práca navrhuje možnosti využívania nástrojov Business Intelligence vo vybranej firme. Na základe analýz zvažuje náklady pre zavedenie, hodnotí ekonomický prínos a návrh vhodného riešenia, ktoré bude východiskom z momentálne neuspokojivého stavu súčasného riešenia vo vybranej firme.
NASA Technical Reports Server (Ntrs) 20140002340: Project Assessment Skills Web application by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20140002340: Project Assessment Skills Web application by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20110023731: Software for Remote Monitoring of Space-Station Payloads by NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20110023731: Software for Remote Monitoring of Space-Station Payloads by NASA Technical Reports Server (Ntrs); published by
Využitím mobilních aplikací pracujících na principu geografické blízkosti a sdílené ekonomiky vznikly velmi úspěšné projekty, například v oblasti taxi služb...
详细信息
Využitím mobilních aplikací pracujících na principu geografické blízkosti a sdílené ekonomiky vznikly velmi úspěšné projekty, například v oblasti taxi služby. Uvedené principy se dají aplikovat i na jiné oblasti lidského života. V rámci své práce jsem se zaměřil na využití zmíněných metod v oblasti fitness. Značná část potenciálních zájemců o fitness aktivity je odrazována skutečností, že nemají s kým tyto aktivity sdílet. Cílem práce je vytvoření multiplatformní mobilní aplikace Gymber, která napomáhá nalezení partnera nebo trenéra k běhání, posilování či jiné fitness aktivitě. Gymber umožní uživatelům sdílet a reagovat na nabídky k fitness aktivitám a zobrazí seznam míst, která jsou k těmto účelům vhodná, informuje o případných otevíracích hodinách, speciálních akcích a novinkách ve fitness centrech. Práce předkládá témata návrhu uživatelského rozhraní, implementaci na platformě iOS a návrh serverové části služby a API podporujícího multiplatformnost mobilní aplikace Gymber.
Like any software, manned-aircraft flight management systems and unmanned aerial system autopilots contain bugs. A large portion of bugs in autopilots are semantic bugs, where the autopilot does not behave according t...
详细信息
Like any software, manned-aircraft flight management systems and unmanned aerial system autopilots contain bugs. A large portion of bugs in autopilots are semantic bugs, where the autopilot does not behave according to the expectations of the programmer. A bug detector is constructed to detect semantic bugs for autopilot software. It is hypothesized that semantic bugs can be detected by monitoring a set of relevant variables internal to the autopilot. This paper formulates the problem of identifying these variables as an optimization problem aimed at minimizing the overhead for online bug detection. However, because the optimization problem is computationally prohibitive to solve directly, graph-based software models are used to identify a suboptimal solution. In analyzing real and injected bugs within a particular block of code (a program slice), our proof-of-concept approach resulted in a model using only 20% of the variables in the slice to detect real and synthetic bugs with a specificity of 95% and a sensitivity of at least 60% for all bugs tested (and 90% or higher for many of them).
暂无评论