Object Instance Profiling
Bulej, Lubomír; Marek, L.; Tůma, P.
2009 - anglický
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Object Instance Profiling
A Characterization of Hitting Sets for 1 Branching Programs of Width 3
Šíma, Jiří; Žák, Stanislav
2008 - anglický
Klíčová slova:
derandomization, hitting set; branching programs of bounded width
Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
A Characterization of Hitting Sets for 1 Branching Programs of Width 3
Dynamic and Quasi-Static FE Simulations of the Function of Human Joints and their Total Replacements based on the Mortar Approach
Nedoma, Jiří; Daněk, Josef
2007 - anglický
Klíčová slova:
dynamic and quasi-static contact problems; classical and mortar finite element methods; human joints; total joint replacement
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Dynamic and Quasi-Static FE Simulations of the Function of Human Joints and their Total Replacements based on the Mortar Approach
A Lower Bound Technique for Restricted Branching Programs (version G)
Žák, Stanislav
2007 - anglický
Klíčová slova:
branching programs; lower bound
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
A Lower Bound Technique for Restricted Branching Programs (version G)
Slicing behavior specification of components
Šerý, O.; Plášil, František
2007 - anglický
Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component’s architecture (assembly). However, since typically only a part of the components’ functionality is actually used in the new context, a significant part of the behavior specification may be superfluous. As a result, it may be hard to see (and filter out) the actual interplay among the components in their behavior specification. This paper targets the problem in the scope of behavior protocols [13]. It presents a technique for slicing behavior protocols with respect to a given context (composition), designed to remove the unused behavior from a behavior specification. The technique is based on a formal foundation, generic enough to support slicing with respect to a property expressed as a predicate. To demonstrate viability of the proposed approach, a positive experience with behavior specification slicing applied in real-li Specifikace chování umožňuje reuse nejen komponent, ale také komponentové architektury. V takovém případě je ovšem velmi obtížné určit, jaké je skutečné chování komponenty, neboť toto silně závisí na kontextu. V tomto článku popisujeme metodu slicingu behavior protokolů, která umožňuje automaticky určit chování komponenty v daném prostředí.
Klíčová slova:
formal verification; slicing; behavior protocols
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Slicing behavior specification of components
Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component’s architecture (assembly). However, ...
Gradient Learning in Networks of Smoothly Spiking Neurons
Šíma, Jiří
2007 - anglický
Klíčová slova:
spiking neuron; back-propagation; SpikeProp; gradient learning
Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd.
Gradient Learning in Networks of Smoothly Spiking Neurons
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Bílková, Marta
2007 - anglický
Klíčová slova:
interpolation; modal logic; disjunction property; feasible interpolation
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
Heuristic Reduction of Parallelism in Component Environment
Pařízek, P.; Plášil, František
2007 - anglický
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single component typically comprises a smaller state space than the whole system. We present a technique that addresses the problem of state explosion in code checking of primitive components with the Java PathFinder in case the checked property is absence of concurrency errors. The key idea is reduction of parallelism in the environment so that only those parts of the component’s code that can likely cause concurrency errors are exercised in parallel; such parts are identified via a heuristic static code analysis (searching for “suspicious” patterns in the component code). Benefits of the technique, i.e. support for discovery of concurrency errors in limited time and space and provision of easy-to-read counterexamples, are illustrated on the results of several experiments. Při model checkingu kódu softwarových komponent, které se vyznačují vysokou úrovní paralelismu, se často vyskytne problem exploze stavového prostoru, bez ohledu na to, že jedna komponenta má obvykle menší stavový prostor než celý systém. Zde prezentujeme techniku, která adresuje problém exploze stavového prostoru pro ověřování kódu primitivních komponent s Java PathFinder v případě, že ověřovaná vlastnost je absence synchronizačních chyb. Klíčová myšlenka je redukce paralelismu v prostředí komponenty tak, že pouze ty části kódu komponenty, které pravděpodobně mohou vyvolat synchronizační chybu, jsou vykonány paralelně; takové části jsou identifikovány pomocí heuristické statické analýzy kódu (hledáním podezřelých vzorů v kódu komponenty). Výhody této techniky, t.j. podpora objevení synchronizačních chyb v omezeném čase a prostoru a reportování čitelnějších protipříkladů, jsou ilustrovány na výsledcích několika experimentů.
Klíčová slova:
software components; model checking; concurrency errors; Java PathFinder; static analysis
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Heuristic Reduction of Parallelism in Component Environment
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single component typically ...
Addressing Static Execution Overhead in Connectors with Disabled Optional Features
Bulej, Lubomír; Bureš, Tomáš
2006 - anglický
Klíčová slova:
component systems; software connectors; runtime reconfiguration
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Addressing Static Execution Overhead in Connectors with Disabled Optional Features
A Lower Bound Technique for Restricted Branching Programs (version F)
Žák, Stanislav
2006 - anglický
Klíčová slova:
branching programs; lower bound
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
A Lower Bound Technique for Restricted Branching Programs (version F)
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze