Duško - PDFSEARCH.IO - Document Search Engine

Duško
Results: 67

#	Item
1	Colimits for Concurrent Collectors Dusko Pavlovic1, Peter Pepper2 , and Doug Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:47:54 Computer programming Software engineering Functional programming Monad Heap Clean
2	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:24:03 Computing Memory management Knowledge representation Mutator Garbage collection Garbage Connectivity Tree Tracing garbage collection
3	Composition and Renement of Behavioral Specications Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:57:16 Pushout Recursion Span Pullback Limit Mathematics Computing Philosophy of mathematics
4	Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:29:47 Concurrent computing Liveness Temporal logic Safety property Category theory Computation tree logic Morphism Dual Category Natural transformation Mathematics Mathematical logic
5	Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:51:33 Category theory Abstract algebra Algebra Mathematics Morphism Category Group action Natural transformation Limit Subcategory Functor Universal property
6	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:23:28 Knowledge representation Memory management Tree Mutator Garbage collection Computing Automatic memory management Information science Software engineering
7	Zombies Slap Back: Why the Anti-Zombie Parody Does Not Work Duško Prelević University of Belgrade BIBLID626X; pp] Add to Reading List Source URL: www.disputatio.letras.ulisboa.pt Language: English - Date: 2017-09-22 11:53:34
8	ICS 355: Noninterference Dusko Pavlovic Channels Security and Trust I: Add to Reading List Source URL: www.asecolab.org - Date: 2014-12-01 15:45:41
9	HP POWERING THE CLOUD Get the benefits of cloud today Duško Milošević ESSN Technical Consultant Serbia and Montenegro Add to Reading List Source URL: www.cikom.com Language: English - Date: 2014-04-08 12:16:20 Computing Cloud computing Cloud infrastructure HP CloudSystem HP Cloud HP Business Service Automation HP Converged Systems Provisioning Converged infrastructure HP BladeSystem HP Cloud Service Automation Software
10	10. JUNA Posljednji koncert Crnogorskog simfonijskog orkestra u ovoj sezoni Crnogorski simfonijski orkestar (Foto: Duško Miljanić) Add to Reading List Source URL: www.muzickicentar.com - Date: 2014-07-02 05:23:37