Filters








9 Hits in 4.8 sec

BDDT:

George Tzenakis, Angelos Papatriantafyllou, John Kesapides, Polyvios Pratikakis, Hans Vandierendonck, Dimitrios S. Nikolopoulos
2012 Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming - PPoPP '12  
Dataflow Execution Engine Design BDDT uses a dataflow execution engine based on block-level dependence analysis for identifying parallel tasks.  ...  Implementation The BDDT block-level runtime system consists of a custom blockbased memory allocator; metadata structures for dependence analysis; and a task scheduler.  ... 
doi:10.1145/2145816.2145864 dblp:conf/ppopp/TzenakisPKPVN12 fatcat:fldzraoepre3vbgejysoiyjwl4

BDDT: Block-Level Dynamic Dependence Analysis for Task-Based Parallelism [chapter]

George Tzenakis, Angelos Papatriantafyllou, Hans Vandierendonck, Polyvios Pratikakis, Dimitrios S. Nikolopoulos
2013 Lecture Notes in Computer Science  
BDDT uses a block-based dependence analysis with arbitrary granularity.  ...  We present BDDT, a task-parallel runtime system that dynamically discovers and resolves dependencies among parallel tasks.  ...  Dataflow Execution Engine Design BDDT uses a dataflow execution engine based on block-level dependence analysis for identifying parallel tasks.  ... 
doi:10.1007/978-3-642-45293-2_2 fatcat:lghmvli57rbyhcc42n4be6xhyy

Inference and Declaration of Independence in Task-Parallel Programs [chapter]

Foivos S. Zakkak, Dimitrios Chasapis, Polyvios Pratikakis, Angelos Bilas, Dimitrios S. Nikolopoulos
2013 Lecture Notes in Computer Science  
The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models.  ...  We evaluate the resulting hybrid dependence analysis on a set of task-parallel programs.  ...  Task-based parallelism offers a higher level abstraction to the programmer, making it easier to express parallel computation.  ... 
doi:10.1007/978-3-642-45293-2_1 fatcat:w5so2ucrybeetiga4xtjvhfcei

Scalable black-box prediction models for multi-dimensional adaptation on NUMA multi-cores

Aleksandr Khasymski, Dimitrios S. Nikolopoulos
2014 International Journal of Parallel, Emergent and Distributed Systems  
Research interests Parallel computing systems hardware-software boundary: Runtime systems, ubiquitous parallel programming models, memory management, energy-efficient parallel execution, operating systems  ...  Parallel computer architecture: chip multiprocessors, computational accelerators, heterogeneous computer architectures, emerging memory technologies, heterogeneous memory hierarchies.  ...  BDDT: Block-Level Dynamic Dependence Analysis for Deterministic Task-Based Parallelism. In: Proceedings of the 10th International Conference on Advanced Parallel Processing Technology (APPT).  ... 
doi:10.1080/17445760.2014.895346 fatcat:32mn2ijvbja5njdo43axnsjmjq

Prefetching and cache management using task lifetimes

Vassilis Papaefstathiou, Manolis G.H. Katevenis, Dimitrios S. Nikolopoulos, Dionisios Pnevmatikatos
2013 Proceedings of the 27th international ACM conference on International conference on supercomputing - ICS '13  
These programming models analyze dynamically task dependencies at runtime and schedule independent tasks concurrently to the processing elements.  ...  Task-based dataflow programming models and runtimes emerge as promising candidates for programming multicore and manycore architectures.  ...  It supports two-dimensional address ranges for declaring task footprints and uses a block-based approach with arbitrary granularity for dynamic dependence analysis [32] .  ... 
doi:10.1145/2464996.2465443 dblp:conf/ics/PapaefstathiouKNP13 fatcat:5x2nmjxo4bgpdbtabu23wz3com

Combining Predicate and Numeric Abstraction for Software Model Checking

Arie Gurfinkel, Sagar Chaki
2008 2008 Formal Methods in Computer-Aided Design  
Predicate (PA) and Numeric (NA) abstractions are the two principal techniques for software analysis.  ...  We have implemented a general framework for reachability analysis of C programs on top of our four data structures.  ...  We are grateful to anonymous referees of LFM'08, FMCAD'08, and STTT for helping improve the presentation and technical clarity of this paper.  ... 
doi:10.1109/fmcad.2008.ecp.21 dblp:conf/fmcad/GurfinkelC08 fatcat:2ksd5xgin5estp5ugfvgwddqhu

Combining predicate and numeric abstraction for software model checking

Arie Gurfinkel, Sagar Chaki
2010 International Journal on Software Tools for Technology Transfer (STTT)  
Predicate (PA) and Numeric (NA) abstractions are the two principal techniques for software analysis.  ...  We have implemented a general framework for reachability analysis of C programs on top of our four data structures.  ...  We are grateful to anonymous referees of LFM'08, FMCAD'08, and STTT for helping improve the presentation and technical clarity of this paper.  ... 
doi:10.1007/s10009-010-0162-x fatcat:a2dfruavqjfebdegernedypycm

Unified and heterogeneous modeling of water vapour sorption in Douglas-fir wood with artificial neural networks

Anteneh Tesfaye Tekleyohannes
2010
Four novel physical models, namely, dynamical two-level systems (TLS) model of annual rings, sorption kinetics, sorption isotherms and TLS model of physical properties and chemical composition were derived  ...  Thirdly, to upscale the annual ring level model to gross wood by applying artificial neural networks (ANNs) modeling tools using dimensionally reduced inputs through dimensional analysis and genetic algorithms  ...  Two-level system (TLS) based dynamical coarse-graining model for earlywood, latewood and annual rings. II.  ... 
doi:10.14288/1.0069588 fatcat:3ny3glqpczgtrnqmzjmtupzsai

Analysis of Actors and Discourse in the Amendment of Ontario's Regulated Health Professions Act, 1991, to Support Interprofessional Collaboration

Olena Kapral, Université D'Ottawa / University Of Ottawa, Université D'Ottawa / University Of Ottawa
2013
A variation of discourse analysis was developed, based on the seven areas of reality that are constructed by language, to evaluate the interactions between state and policy actors.  ...  Identifying how policy proposals are selected by policy-makers is an important question for scholars.  ...  how dynamic institutional change can be achieved.  ... 
doi:10.20381/ruor-3194 fatcat:ts7a7m2ihzckxk74vlcvvofwb4