Modification date 26 June 2014 03:44:49
From CERES
A list of all pages that have property "Modification dateThis property is a special property in this wiki." with value "26 June 2014 03:44:49".
Since there have been only a few results, also nearby values are displayed.
- Publications:Sleep and night activities of care beneficiaries at the "Trygg om Natten" (Safe at Night) Project + (26 June 2014 03:44:42)
- Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration + (26 June 2014 03:44:43)
- Publications:Timing Analysis of the Priority based FRP System + (26 June 2014 03:44:44)
- Publications:Logical Modalities and Multi-Stage Programming + (26 June 2014 03:44:44)
- Publications:Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects + (26 June 2014 03:44:45)
- Publications:Virtual Testing for Smart Buildings + (26 June 2014 03:44:45)
- Publications:Preliminary Results in Virtual Testing for Smart Building + (26 June 2014 03:44:46)
- Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming + (26 June 2014 03:44:46)
- Publications:ML-like Inference for Classifiers + (26 June 2014 03:44:47)
- Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs + (26 June 2014 03:44:48)
- Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection + (26 June 2014 03:44:48)
- Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++ + (26 June 2014 03:44:49)
- Publications:Multi-Stage Programming for High-Level Description of Circuit Families + (26 June 2014 03:44:49)
- Publications:Implicitly Heterogeneous Multi-Stage Programming + (26 June 2014 03:44:50)
- Publications:Implicitly Heterogeneous Multi-stage Programming + (26 June 2014 03:44:50)
- Publications:The Semantics of Graphical Languages + (26 June 2014 03:44:51)
- Publications:Concoqtion : Indexed Types Now! + (26 June 2014 03:44:51)
- Publications:Macros as Multi-Stage Computations : Type-Safe, Generative, Binding Macros in MacroML + (26 June 2014 03:44:52)
- Publications:Synthesizable High Level Hardware Descriptions + (26 June 2014 03:44:53)
- Publications:Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability + (26 June 2014 03:44:53)
- Publications:E-FRP with Priorities + (26 June 2014 03:44:54)
- Publications:Reasoning About Multi-Stage Programs + (26 June 2014 03:44:54)
