1
Published 2013
Table of Contents: ...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
View full text
Electronic eBook
13
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... of &-Deazaadenosines as Anticancer Agents -- 7. More than an African-American Facilitator and a Prayer: Integrating...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...
View full text
Electronic eBook
16
by Teh, Jia Yew
Published 2003
...Computers can be utilized to control instruments, machines, motors, devices etc. to automate tasks...
View full text
Thesis
17
by Teh, Jia Yew
Published 2003
... in front of the automation system! This is achieved by programming the server computer (which...
View full text
Thesis
18
Published 2006
Table of Contents: ... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...
View full text
Electronic eBook