1
Udgivet 2010
Fag: ...Programming languages (Electronic computers)....
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...
Få fuldtekst
Electronisk eBog
3
Udgivet 2008
Indholdsfortegnelse: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... for Heterogeneous Modal Logics -- Co-Logic Programming: Extending Logic Programming with Coinduction -- Session C4...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Få fuldtekst
Electronisk eBog
11
Udgivet 2013
Indholdsfortegnelse: ... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... Algorithms for Massive Graphs -- Special Sessions -- Proof Complexity of Non-classical Logics -- Optimal...
Få fuldtekst
Electronisk eBog
15
Udgivet 2007
Indholdsfortegnelse: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
Få fuldtekst
Electronisk eBog
16
Udgivet 2008
Indholdsfortegnelse: ... CEGAR -- Session 4: Hybrid Systems -- Computing Differential Invariants of Hybrid Systems as Fixedpoints...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...
Få fuldtekst
Electronisk eBog
18
Udgivet 2006
Indholdsfortegnelse: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
Få fuldtekst
Electronisk eBog
19
Udgivet 2006
Indholdsfortegnelse: ... of Distributed Denial of Service Attacks -- Session II B: Grid and P2P Computing -- Auction Based Resource...
Få fuldtekst
Electronisk eBog
20
Indholdsfortegnelse: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Få fuldtekst
Electronisk eBog