Computing : [2225] Collection home page

Collection's Items (Sorted by Title in Ascending order): 41 to 60 of 2225
Issue DateTitleAuthor(s)
-A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented ApplicationsMarcozzi, M; Vanhoof, W; Hainaut, J-L
5-May-2016A domain specific approach to high performance heterogeneous computingThomas, DB; Inggs, G; Luk, W; Engineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (E, et al
1-Dec-2016A domain specific language for accelerated multilevel Monte Carlo simulationsLindsey, B; Leslie, M; Luk, W; Engineering & Physical Science Research Council (E; Commission of the European Communities, et al
-A domain-specific language for the hybridization and static condensation of finite element methodsGibson, TH; Mitchell, L; Ham, DA; Cotter, CJ; Natural Environment Research Council (NERC), et al
9-Aug-2017A domain-theoretic approach to Brownian motion and general continuous stochastic processesBilokon, P; Edalat, A
12-Jul-2017A DSL approach to reconcile equivalent divergent program executionsGanchinho de Pina, L; Grumberg, D; Andronidis, A; Cadar, C; Engineering & Physical Science Research Council (EPSRC)
1-Nov-2010A Dynamic Texture-Based Approach to Recognition of Facial Actions and Their Temporal ModelsKoelstra, S; Pantic, M; Patras, IY
24-Aug-2015A fast and scalable graph coloring algorithm for multi-core and many-core architecturesRokos, G; Gorman, G; Kelly, PHJ
6-Sep-2017A flexible graphical model for multi-modal parcellation of the cortex.Parisot, S; Glocker, B; Ktena, SI; Arslan, S; Schirmer, MD, et al
3-Nov-2011A formal approach to adaptive software: continuous assurance of non-functional requirementsFilieri, A; Ghezzi, C; Tamburrelli, G
1-Jan-2018A Formal Approach to Analyzing Cyber-Forensics EvidenceKarafili, E; Cristani, M; Viganò, L; Commission of the European Communities
10-Feb-2019A framework for generalized group testing with inhibitors and its potential application in neuroscienceBui, TV; Kuribayashi, M; Cheraghchi, M; Echizen, I
1-Jan-2014A Framework for Globally Optimizing Mixed-Integer Signomial ProgramsMisener, R; Floudas, CA
19-Dec-2016A framework for joint estimation and guided annotation of facial action unit intensityWalecki, R; Rudovic, O; Pantic, M; Pavlovic, V; Cohn, JF, et al
24-Jul-2017A framework for sensorless and autonomous probe-tissue contact management in robotic endomicroscopic scanningVarghese, RJ; Berthet-Rayne, P; Giataganas, P; Vitiello, V; Yang, GZ
17-Jul-2014A framework for the design, modeling and optimization of biomedical systemsVelliou, E; Fuentes-Garí, M; Misener, R; Pefani, E; Rende, M, et al
5-Jun-2017A Fully-Pipelined Hardware Design for Gaussian Mixture ModelsHe, C; Fu, H; Guo, C; Luk, W; Yang, G, et al
14-Sep-2017A fusion framework to estimate plantar ground force distributions and ankle dynamicsDeligianni, F; Wong, CW; Lo, B; Yang, G; Engineering & Physical Science Research Council (EPSRC), et al
14-May-2015A fuzzy extension of the semantic Building Information ModelGómez-Romero, J; Bobillo, F; Ros, M; Molina-Solana, M; Ruiz, MD, et al
1-Nov-2014A general framework for sound assumption-based argumentation dialoguesFan, X; Toni, F
Collection's Items (Sorted by Title in Ascending order): 41 to 60 of 2225