Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
functionals functions » functionals function, functional functions, functions functions
state functionals » state functional, states functional, state functions
functions https » foundations https
parallel java » parallel data, parallel scara, parallel a
java state » java style, java late, java satu
functionals functions » functionals function, functional functions, functions functions
state functionals » state functional, states functional, state functions
functions https » foundations https
parallel java » parallel data, parallel scara, parallel a
java state » java style, java late, java satu
1
Foilsithe 2013
Clár Ábhair:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2010
Clár Ábhair:
“... Simulations -- Parallel Implementation of a Steady State Thermal and Hydraulic Analysis of Pipe Networks...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2012
Clár Ábhair:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2005
Clár Ábhair:
“... to an Octree-Based CSCW Framework -- Parallel Modeling of Transient States Analysis in Electrical Circuits...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2008
Clár Ábhair:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2013
Clár Ábhair:
“...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2008
Clár Ábhair:
“... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2010
Clár Ábhair:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2012
Clár Ábhair:
“... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2005
Clár Ábhair:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2006
Clár Ábhair:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2014
Clár Ábhair:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2007
Clár Ábhair:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2006
Clár Ábhair:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2008
Clár Ábhair:
“..., an ACO Algorithm for Solving the Four-Criteria Military Path-finding Problem -- Searching Ground States...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Clár Ábhair:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar