Filters








575 Hits in 3.1 sec

A persistent runtime system using persistent data structures

Zhiqing Liu
1996 Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96  
This paper describes the technique, its assumptions, its time and space overhead, the performance results obtained from a persistent runtime system prototype implemented for SETL, and a visual debugger  ...  Many software engineering applications in both conventional and distributed environments require or prefer access to multiple versions of program runtime state.  ...  ACKNOWLEDGMENTS The author would like to thank Jack Schwartz, David Bacon, Bob Paige, Alan Siegel, Ed Schonberg, Robert Dewar, Jiawei Hong, Xiaonan Tan, Ken Perlin, Malcolm Harrison and anonymous referees for  ... 
doi:10.1145/331119.331420 dblp:conf/sac/Liu96 fatcat:ivfidkfwlzggfezxxeqmcherwy

An Intelligent ETL Grid-Based Solution to Enable Spatial Data Warehouse Deployment in Cyber Physical System Context

Boubaker Boulekrouche, Nafaâ Jabeur, Zaia Alimazighi
2015 Procedia Computer Science  
In addition to being the unique solution that uses grid computing for the ETL process of SDWs, our approach allows a joint use of archive and real-time data for personalized reporting and visualization  ...  We also propose a multiagent-based approach that controls the ETL grid while allowing a convenient use of the shared resources.  ...  Peer-review under responsibility of the Conference Program Chairs  ... 
doi:10.1016/j.procs.2015.07.176 fatcat:ihbwfbhnwrbv7agbbmcaduzs44

Taking advantage of continuity of care documents to populate a research repository

Jeffrey G Klann, Michael Mendis, Lori C Phillips, Alyssa P Goodson, Beatriz H Rocha, Howard S Goldberg, Nich Wattanasin, Shawn N Murphy
2014 JAMIA Journal of the American Medical Informatics Association  
MM is the lead developer for i2b2, and he upgraded the CRC cell. LCP developed the terminology trees to support C-CDA. APG performed proof of concept work.  ...  BHR and HSG developed and maintain the Partners CCD factory, and assisted with design of the CCD factory connector. NW is lead developer for SMART-i2b2 and upgraded the SMART-i2b2 cell.  ...  This can be a complex expensive development process that is likely out of scope for small practices.  ... 
doi:10.1136/amiajnl-2014-003040 pmid:25352566 pmcid:PMC6080729 fatcat:vjjvpomlc5c7xoplncdh76fuby

Automatic data structure choice in a language of very high level

J. T. Schwartz
1975 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '75  
SETL is a set-theoretically oriented language of very high level whose repertoire of semantic objects includes finite sets, ordered n-tuples, and sets of ordered n-tuples usable as mappings.  ...  This paper describes the structure of an optimizer for this language.  ...  To develop this information, a "type algebra" embodying a notation for the description of the structural type of SETL objects is used. We build up this notation as follows.  ... 
doi:10.1145/512976.512981 dblp:conf/popl/Schwartz75 fatcat:vc7kdrmh25a57hwuehe27s7xii

Automatic data structure choice in a language of very high level

J. T. Schwartz
1975 Communications of the ACM  
SETL is a set-theoretically oriented language of very high level whose repertoire of semantic objects includes finite sets, ordered n-tuples, and sets of ordered n-tuples usable as mappings.  ...  This paper describes the structure of an optimizer for this language.  ...  To develop this information, a "type algebra" embodying a notation for the description of the structural type of SETL objects is used. We build up this notation as follows.  ... 
doi:10.1145/361227.361235 fatcat:xejamt7fwzcbrir57sf3b7fobm

Guest Editor's Introduction Multiparadigm Languages and Environments

B. Hailpern
1986 IEEE Software  
to build a more effi-Development environment: A programming environment plus tools for cient version of the algorithm.  ...  hints Programming environment: A programming language (or languages), as invariant assertions.  ...  As this special issue of IEEE Software demonstrates, there already exists a collection of basic pragmatic research in the area.  ... 
doi:10.1109/ms.1986.232426 fatcat:uih47osarbashikgmpajawrtrm

Question Asking as Program Generation [article]

Anselm Rothe, Brenden M. Lake, Todd M. Gureckis
2017 arXiv   pre-print
The model specifies a probability distribution over a complex, compositional space of programs, favoring concise programs that help the agent learn in the current context.  ...  In addition, we compare a number of model variants, finding that both question informativeness and complexity are important for producing human-like questions.  ...  This research was supported by NSF grant BCS-1255538, the John Templeton Foundation Varieties of Understanding project, a John S.  ... 
arXiv:1711.06351v1 fatcat:ybb2vcdoczgajieb5a24wefvqe

High-level ETL for semantic data warehouses

Rudra Pratap Deb Nath, Oscar Romero, Torben Bach Pedersen, Katja Hose, Philippe Cudre-Mauroux
2021 Semantic Web Journal  
in terms of productivity, development time, and performance.  ...  Therefore, it relieves ETL developers from the burden of manual mapping at the ETL operation level.  ...  Foundation, and the Danish Council for Independent Research (DFF) under grant agreement no.  ... 
doi:10.3233/sw-210429 fatcat:at4eunscz5exrlmaoj7r6laubq

High-Level ETL for Semantic Data Warehouses—Full Version [article]

Rudra Pratap Deb Nath, Oscar Romero, Torben Bach Pedersen, Katja Hose
2020 arXiv   pre-print
in terms of productivity, development time and performance.  ...  Therefore, it relieves ETL developers from the burden of manual mapping at the ETL operation level.  ...  We refer to [10] for the semantics of the Exter-nalLinking operation and to [11] for the semantics of the MaterializeInference operation.  ... 
arXiv:2006.07180v1 fatcat:rzxuyvgqzfastdrw456s3rm7uy

Transformational programming

Robert Paige
1983 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83  
Feather, Miartin S A System for Developing Programs by Transformation, Ph.D. Th., U, of Edinburgh, . 1979 15.  ...  E "A Unified Approach to Path Problems." J'ACM 28, 3 (July 1981) 43. Teitelbaum, T. and Reps, T. "The Cornell Program Synthesizer a syntax-directed programming environment."  ... 
doi:10.1145/567067.567076 dblp:conf/popl/Paige83 fatcat:zfnivz4zl5gqneuffok45j6oci

Modeling question asking using neural program generation [article]

Ziyun Wang, Brenden M. Lake
2021 arXiv   pre-print
We propose a neuro-symbolic framework for modeling human question asking, which represents questions as formal programs and generates programs with an encoder-decoder based deep neural network.  ...  We also propose a novel grammar-based question generation framework trained with reinforcement learning, which is able to generate creative questions without supervised human data.  ...  In this paper, we develop a neural program generation model for asking questions in an information-search game, which is similar to "Battleship" and has been studied in previous work [8, 20, 21] .  ... 
arXiv:1907.09899v4 fatcat:fzxkye63tfgsdl3tjwve2rdnce

Approaches to Automatic Programming [chapter]

Charles Rich, Richard C. Waters
1993 Advances in Computers  
As an example of a research effort in this area, we focus the Programmerś Apprentice project.  ...  This paper is an overview of current approaches to automatic programming organized around three fundamental questions that must be addressed in the design of any automatic programming system: What does  ...  Academic research on automatic programming has focused on developing techniques that can support broad-coverage, fully automatic programming.  ... 
doi:10.1016/s0065-2458(08)60402-7 fatcat:q4zbeodefjatbkwjlvg4x2j32e

Enhancing Chinese Students' Learning in an Australian 2+2 Undergraduate Engineering Program

Peter Edward Doe, Sarah Lyden, Seeta Jaikaran-Doe, Xiaolin Wang
2018 International Journal of Higher Education  
Students may choose to transfer to the Australian university to complete the final two years of the Bachelor of Engineering with Honours degree (2+2 program).  ...  These themes were further explored in a quantitative survey of Chinese students newly-arrived in Australia in 2016.  ...  The methods developed for Australian academics to engage students with a spectrum of English language skills in large classes, together with a program of support for newly articulated students have proven  ... 
doi:10.5430/ijhe.v7n5p86 fatcat:phmsnbghv5duvfw5wvmi2duelm

The polaris internal representation

Keith A. Faigin, Stephen A. Weatherford, Jay P. Hoeflinger, David A. Padua, Paul M. Petersen
1994 International journal of parallel programming  
The Polaris Program Manipulation System is a production quality tool for source-to-source transformations and complex analysis of Fortran code.  ...  We also provide a number of examples of using the Polaris system. iv ACKNOWLEDGEMENTS I w ould like to o er my sincerest thanks to my thesis advisor, David Padua, for his substantial role in the work involved  ...  C ++ provides the modularity and e ciency which w as lacking in Delta's SETL implementation and, further, provided a superior environment for a team-developed project.  ... 
doi:10.1007/bf02577778 fatcat:2y5gta3rqjcvrd46mu2vjyxaem

Split exponential track length estimator for Monte-Carlo simulations of small-animal radiation therapy

F Smekens, J M Létang, C Noblet, S Chiavassa, G Delpon, N Freud, S Rit, D Sarrut
2014 Physics in Medicine and Biology  
We propose the split exponential track length estimator (seTLE), a new kermabased method combining the exponential variant of the TLE and a splitting strategy to speed up Monte Carlo (MC) dose computation  ...  We evaluated and analysed the seTLE method for two realistic small animal radiotherapy treatment plans.  ...  Acknowledgments This work was performed in part within the LABEX PRIMES (ANR-11-LABX-0063/ANR-11-IDEX-0007) of Université de Lyon operated by the French National Research Agency, and partly supported by  ... 
doi:10.1088/0031-9155/59/24/7703 pmid:25419562 fatcat:5aurx3nzebezlabp7o3pcqw2ja
« Previous Showing results 1 — 15 out of 575 results