Results 11 to 20 of about 464,601 (309)
Engineering Bidirectional Transformations [PDF]
, 2018 Bidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability. This paper summarises a collection of lectures pertaining to engineering bidirectional transformations using Model-Driven Engineering techniques and technologies.
Richard F. Paige, Paige, Richard F.
openaire +5 more sources
ACM Computing Surveys, 2021 Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies a known type, and type synthesis, which determines a type from the program. Using checking enables bidirectional typing to support features for which inference is undecidable; using synthesis enables bidirectional typing to avoid the large annotation
Jana Dunfield, Neel Krishnaswami
openaire +3 more sources
ACM Transactions on Graphics, 2012 Scenes modeling the real-world combine a wide variety of phenomena including glossy materials, detailed heterogeneous anisotropic media, subsurface scattering, and complex illumination. Predictive rendering of such scenes is difficult; unbiased algorithms are typically too slow or too noisy.
Bruce Walter +2 more
openaire +2 more sources
Unwinding of a cholesteric liquid crystal and bidirectional surface anchoring [PDF]
, 2013 We examine the influence of bidirectional anchoring on the unwinding of a planar cholesteric liquid crystal induced by the application of a magnetic field. We consider a liquid crystal layer confined between two plates with the helical axis perpendicular
McKay, Geoffrey
core +4 more sources
Bidirectional grammar and bidirectional optimization [PDF]
, 2011 The human language faculty is a bidirectional system, i.e. it can be used by processes of approximately equal computational complexity to understand and to generate utterances of a language. We assume the general framework of optimality theory and treat the language faculty as a constraint-based system where the very same constraints are uses both in ...
Blutner, R., Strigin, A.
openaire +3 more sources
Bidirectional load test in HoChiMinh City: a case history and lessons learned [PDF]
, 2023 Bidirectional static load tests to evaluate the axial load-bearing capacity of large cross-sectional bored piles are indispensable. Nonetheless, this test is complicated, costly, and easy to fail.
Nguyen, Tan +3 more
core +1 more source
Applicative Bidirectional Programming with Lenses [PDF]
, 2015 A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly with respect to some laws.
Matsuda, Kazutaka +3 more
core +1 more source
Gradient-Domain Bidirectional Path Tracing [PDF]
, 2015 Gradient-domain path tracing has recently been introduced as an efficient realistic image synthesis algorithm. This paper introduces a bidirectional gradient-domain sampler that outperforms traditional bidirectional path tracing often by a factor of two ...
Kettunen, Markus +5 more
core +2 more sources
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions [PDF]
, 2007 We consider the OMG's Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss what is meant by bidirectional transformations, and the model-driven development scenarios
Stevens, Perdita
core +1 more source
2 x 80 Gbit/s DWDM Bidirectional Wavelength Reuse Optical Wireless Transmission [PDF]
, 2013 We demonstrate a practical 2×80 Gbit/s dense wavelength division multiplexing (DWDM) bidirectional short-range optical wireless link. The measured power penalties for the bidirectional transmission are less than 0.8 and 0.2 dB compared to the back-to ...
Ghassemlooy, Zabih +5 more
core +1 more source