Search results for "marshalling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Dominic Duggan	A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.	Types in Compilation	1998	DBLP DOI BibTeX RDF
84	James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough	Global abstraction-safe marshalling with hash types.	ICFP	2003	DBLP DOI BibTeX RDF	singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling
77	John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa	Type-safe distributed programming for OCaml.	ML	2006	DBLP DOI BibTeX RDF	HashCaml, type-safe marshalling, objective Caml
74	Paul Dietz, Thomas Weigert, Frank Weil	Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications.	WIFT	1998	DBLP DOI BibTeX RDF
51	Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough	Dynamic rebinding for marshalling and update, with destruct-time?	ICFP	2003	DBLP DOI BibTeX RDF	programming languages, distributed programming, lambda calculus, dynamic binding, dynamic update, serialisation, marshalling
50	Valery Trifonov, Bratin Saha, Zhong Shao	Fully reflexive intensional type analysis.	ICFP	2000	DBLP DOI BibTeX RDF	runtime type dispatch, typed intermediate language, certified code
43	Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis	Acute: high-level programming language design for distributed computation.	ICFP	2005	DBLP DOI BibTeX RDF	rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling
41	Marco Caserta, Stefan Voß 0001	A Corridor Method-Based Algorithm for the Pre-marshalling Problem.	EvoWorkshops	2009	DBLP DOI BibTeX RDF
41	Baris Aktemur, Joel Jones, Samuel N. Kamin, Lars Clausen	Optimizing Marshalling by Run-Time Program Generation.	GPCE	2005	DBLP DOI BibTeX RDF
41	Joseph F. JáJá, Mike Smorul, Fritz McCall, Yang Wang	Scalable, Reliable Marshalling and Organization of Distributed Large Scale Data Onto Enterprise Storage Environments.	MSST	2005	DBLP DOI BibTeX RDF
41	Yanping Du, Jianwei Yang	Intelligent agent-based expert system architecture for generating work plan in marshalling station.	GrC	2005	DBLP DOI BibTeX RDF
33	Alfredo Pironti 0001, Riccardo Sisto	Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models.	ARES	2008	DBLP DOI BibTeX RDF
33	Isaac Gelado, John H. Kelm, Shane Ryoo, Steven S. Lumetta, Nacho Navarro, Wen-mei W. Hwu	CUBA: an architecture for efficient CPU/co-processor data communication.	ICS	2008	DBLP DOI BibTeX RDF	co-processors
33	Bernhard R. Katzy, Kevin Crowston	Competency Rallying Processes in Virtual Organizations. (PDF / PS)	Virtuality and Virtualization	2007	DBLP DOI BibTeX RDF
33	Bratin Saha, Valery Trifonov, Zhong Shao	Intensional analysis of quantified types.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code
27	Andreas Rossberg, Guido Tack, Leif Kornstaedt	Status report: hot pickles, and how to serve them.	ML	2007	DBLP DOI BibTeX RDF	pickling, components, virtual machines, distributed programming, persistence, serialisation, marshalling
27	Dominic Duggan	Dynamic Typing for Distributed Programming in Polymorphic Languages.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parametric polmorphism, dynamic typing, static typing, marshalling
27	Carlos Arias Mendez, Manuel de Jesus Mendes	Agent Migration Issues in CORBA Platforms.	ISADS	1999	DBLP DOI BibTeX RDF	life cycle agent transport protocol, Mobile agents, marshalling
24	Jakob Pfrommer, Anne Meyer, Kevin Tierney	Solving the unit-load pre-marshalling problem in block stacking storage systems with multiple access directions.	Eur. J. Oper. Res.	2024	DBLP DOI BibTeX RDF
24	Lebao Wu, Zuhua Jiang, Fuhua Wang	Integer programming model and branch-and-cut algorithm for the stack inbound and pre-marshalling problem.	Comput. Oper. Res.	2023	DBLP DOI BibTeX RDF
24	Ignacio Araya 0001, Martín Toledo	A fill-and-reduce greedy algorithm for the container pre-marshalling problem.	Oper. Res.	2023	DBLP DOI BibTeX RDF
24	Daren Chao, Nick Koudas, Xiaohui Yu 0001	Marshalling Model Inference in Video Streams.	ICDE	2023	DBLP DOI BibTeX RDF
24	Jinghan Tao, Peixiang Wang, Wei Qin, Zhanluo Zhang, Runzhi Tan, Kedi Xu 0004, Zengni Zhang	A New Management Mode Based on Prediction and Pre-Marshalling in Automated Container Terminal.	IEEM	2023	DBLP DOI BibTeX RDF
24	Peixin Ge, Ren Zhao, Defeng Sun, Yun Dong	Integrated optimisation of storage and pre-marshalling moves in a slab warehouse.	Int. J. Prod. Res.	2022	DBLP DOI BibTeX RDF
24	Jakob Pfrommer, Anne Meyer, Kevin Tierney	Solving the unit-load pre-marshalling problem in block stacking storage systems with multiple access directions.	CoRR	2022	DBLP DOI BibTeX RDF
24	Bo Jin 0002, Mingzhu Yu	Note on the dominance rules in the exact algorithm for the container pre-marshalling problem by Tanaka & Tierney (2018).	Eur. J. Oper. Res.	2021	DBLP DOI BibTeX RDF
24	Peixin Ge, Ying Meng, Jiyin Liu, Lixin Tang, Ren Zhao	Logistics optimisation of slab pre-marshalling problem in steel industry.	Int. J. Prod. Res.	2020	DBLP DOI BibTeX RDF
24	Yuling Ye, Jun Zhang 0061, Hengda Liang	An Acoustic-Based Recognition Algorithm for the Unreleased Braking of Railway Wagons in Marshalling Yards.	IEEE Access	2020	DBLP DOI BibTeX RDF
24	André Hottung, Shunji Tanaka, Kevin Tierney	Deep learning assisted heuristic tree search for the container pre-marshalling problem.	Comput. Oper. Res.	2020	DBLP DOI BibTeX RDF
24	Hossein Falsafain, Mohammad Tamannaei	A Novel Dynamic Programming Approach to the Train Marshalling Problem.	IEEE Trans. Intell. Transp. Syst.	2020	DBLP DOI BibTeX RDF
24	Junxia Guo, Gang Lu, Zili Xie, Jiawei Wen, Nanshan Xu	An Intelligent Marshalling Model for Enterprise Station Freight Railway.	FSDM	2020	DBLP DOI BibTeX RDF
24	Wenqiao Sun, Qigang Liu, Xiang Li, Min Chen, Yan Zhang	Research on Lean Operations Management Method of Railway Marshalling Yard.	ICITE	2020	DBLP DOI BibTeX RDF
24	Yun Jing, Siye Guo, Zhenhua Zhang, Embrima Jeng	Model and algorithm of wagon-flow allocating in marshalling station based on sequence theory.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
24	Ke Huang, Zhigang Liu 0001, Xin Li	Research on Electromagnetic Transient Processes of Long Marshalling High-Speed Train Passing Articulated Split-Phase Region.	IEEE Access	2019	DBLP DOI BibTeX RDF
24	Hossein Falsafain, Mohammad Tamannaei	A Novel Dynamic Programming Approach to the Train Marshalling Problem.	CoRR	2019	DBLP BibTeX RDF
24	Shunji Tanaka, Kevin Tierney, Consuelo Parreño-Torres, Ramón Alvarez-Valdés, Rubén Ruiz	A branch and bound approach for large pre-marshalling problems.	Eur. J. Oper. Res.	2019	DBLP DOI BibTeX RDF
24	Consuelo Parreño-Torres, Ramón Alvarez-Valdés, Rubén Ruiz	Integer programming models for the pre-marshalling problem.	Eur. J. Oper. Res.	2019	DBLP DOI BibTeX RDF
24	Michael A. Gordon, Anton A. Movshin, Alexey N. Kovkin, Oleg A. Abramov, Dmitry V. Sedykh	Application of Modern Microelectronic Technology in Marshalling Process of Railway Stations.	EWDTS	2019	DBLP DOI BibTeX RDF
24	Julio A. Reyes-Munoz, Michael P. McGarry	The Effect of Data Marshalling on Computation Offloading Decisions.	CoRR	2018	DBLP BibTeX RDF
24	Marcos de Melo da Silva, Sophie Toulouse, Roberto Wolfler Calvo	A new effective unified model for solving the Pre-marshalling and Block Relocation Problems.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
24	Shunji Tanaka, Kevin Tierney	Solving real-world sized container pre-marshalling problems with an iterative deepening branch-and-bound algorithm.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
24	Dmitrii V. Efanov, German V. Osadchy, Valerii V. Khoroshev	Testing of Optical Sensors in Measuring Systems on Railway Marshalling Yard.	EWDTS	2018	DBLP DOI BibTeX RDF
24	Jens Dörpinghaus, Rainer Schrader	A Graph-Theoretic Approach to the Train Marshalling Problem.	FedCSIS	2018	DBLP DOI BibTeX RDF
24	Raka Jovanovic, Milan Tuba, Stefan Voß 0001	A multi-heuristic approach for solving the pre-marshalling problem.	Central Eur. J. Oper. Res.	2017	DBLP DOI BibTeX RDF
24	Sara Gestrelius, Martin Aronsson, Martin Joborn, Markus Bohlin	Towards a comprehensive model for track allocation and roll-time scheduling at marshalling yards.	J. Rail Transp. Plan. Manag.	2017	DBLP DOI BibTeX RDF
24	André Hottung, Shunji Tanaka, Kevin Tierney	Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem.	CoRR	2017	DBLP BibTeX RDF
24	Ning Wang, Bo Jin 0002, Zizhen Zhang, Andrew Lim 0001	A feasibility-based heuristic for the container pre-marshalling problem.	Eur. J. Oper. Res.	2017	DBLP DOI BibTeX RDF
24	Franca Rinaldi, Romeo Rizzi	Solving the train marshalling problem by inclusion-exclusion.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
24	André Hottung, Kevin Tierney	A biased random-key genetic algorithm for the container pre-marshalling problem.	Comput. Oper. Res.	2016	DBLP DOI BibTeX RDF
24	Ricardo Soto 0001, Broderick Crawford, Cristian Galleguillos, Christopher Montiel, Rodrigo Olivares, Guillermo Cabrera-Guerrero	Solving the Container Pre-Marshalling Problem Using Artificial Bee Colony Algorithm.	MICAI (Special Session)	2016	DBLP DOI BibTeX RDF
24	Kevin Tierney, Stefan Voß 0001	Solving the Robust Container Pre-Marshalling Problem.	ICCL	2016	DBLP DOI BibTeX RDF
24	Hugo Sica de Andrade, Federico Giaimo, Christian Berger 0001, Ivica Crnkovic	Systematic evaluation of three data marshalling approaches for distributed software systems.	DSM@SPLASH	2015	DBLP DOI BibTeX RDF
24	Kevin Tierney, Yuri Malitsky	An Algorithm Selection Benchmark of the Container Pre-marshalling Problem.	LION	2015	DBLP DOI BibTeX RDF
24	Alan Tus, Andrea Rendl, Günther R. Raidl	Metaheuristics for the Two-Dimensional Container Pre-Marshalling Problem.	LION	2015	DBLP DOI BibTeX RDF
24	Zijie Ren, Canrong Zhang	An iterative three-stage algorithm for the pre-marshalling problem in container terminals.	IEEM	2015	DBLP DOI BibTeX RDF
24	Federico Giaimo, Hugo Sica de Andrade, Christian Berger 0001, Ivica Crnkovic	Improving Bandwidth Efficiency with Self-Adaptation for Data Marshalling on the Example of a Self-Driving Miniature Car.	ECSA Workshops	2015	DBLP DOI BibTeX RDF
24	Raka Jovanovic, Milan Tuba, Stefan Voß 0001	A Multi-Heuristic Approach for Solving the Pre-Marshalling Problem.	CoRR	2014	DBLP BibTeX RDF
24	Yeong Su Choi, Kap Hwan Kim	Optimizing Mixed Storage and Re-Marshalling Plans.	LDIC	2014	DBLP DOI BibTeX RDF
24	Fatema Tuz Zohora, Md. Yusuf Sarwar Uddin, Johra Muhammad Moosa	Not So Synchronous RPC: RPC with Silent Synchrony Switch for Avoiding Repeated Marshalling of Data.	ICDCN	2014	DBLP DOI BibTeX RDF
24	Song Han 0002, Thomas Lin, Deji Chen 0001, Mark Nixon	WirelessCHARM: An open system low cost wireless marshalling module for industrial environments.	WF-IoT	2014	DBLP DOI BibTeX RDF
24	Wilfrid Utz, Peter Reimann 0001, Dimitris Karagiannis	Capturing Learning Activities in Heterogeneous Environments: A Model-Based Approach for Data Marshalling.	ICALT	2014	DBLP DOI BibTeX RDF
24	Mohamed S. Gheith, Amr B. Eltawil, Nermine A. Harraz	A rule-based heuristic procedure for the container pre-marshalling problem.	IEEM	2014	DBLP DOI BibTeX RDF
24	I. Ayachi, Ryan Kammarti, Mekki Ksouri, Pierre Borne	A heuristic for re-marshalling unbound and outbound containers.	ICSCS	2013	DBLP DOI BibTeX RDF
24	Christopher Expósito Izquierdo, Belén Melián-Batista, J. Marcos Moreno-Vega	Pre-Marshalling Problem: Heuristic solution method and instances generator.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
24	Andreas Bortfeldt, Florian Forster	A tree search procedure for the container pre-marshalling problem.	Eur. J. Oper. Res.	2012	DBLP DOI BibTeX RDF
24	Shan-Huen Huang, Tsan-Hwan Lin	Heuristic algorithms for container pre-marshalling problems.	Comput. Ind. Eng.	2012	DBLP DOI BibTeX RDF
24	Grégoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury	Typing unmarshalling without marshalling types.	ICFP	2012	DBLP DOI BibTeX RDF
24	Leo Brueggeman, Michael R. Fellows, Rudolf Fleischer, Martin Lackner, Christian Komusiewicz, Yiannis Koutis, Andreas Pfandler, Frances A. Rosamond	Train Marshalling Is Fixed Parameter Tractable.	FUN	2012	DBLP DOI BibTeX RDF
24	Stefan Voß 0001	Extended Mis-overlay Calculation for Pre-marshalling Containers.	ICCL	2012	DBLP DOI BibTeX RDF
24	Tommi Aihkisalo, Tuomas Paaso	A Performance Comparison of Web Service Object Marshalling and Unmarshalling Solutions.	SERVICES	2011	DBLP DOI BibTeX RDF
24	Grégoire Henry	Typer la désérialisation sans sérialiser les types. (Typing unmarshalling without marshalling types).		2011	RDF
24	Zhicheng Liu 0001, Carsten Görg, Jaeyeon Kihm, Hanseung Lee, Jaegul Choo, Haesun Park, John T. Stasko	Data ingestion and evidence marshalling in Jigsaw VAST 2010 Mini Challenge 1 award: Good support for data ingest.	IEEE VAST	2010	DBLP DOI BibTeX RDF
24	Dries Kimpe, David Goodell, Robert B. Ross	MPI Datatype Marshalling: A Case Study in Datatype Equivalence.	EuroMPI	2010	DBLP DOI BibTeX RDF
24	Albert S. Huang, Edwin Olson, David C. Moore	LCM: Lightweight Communications and Marshalling.	IROS	2010	DBLP DOI BibTeX RDF
24	Andrew J. Cowell, Russell S. Jensen, Michelle L. Gregory, Peter C. Ellis, Keith Fligg, Liam McGrath, Kelly O'Hara, Eric Belanga Bell	Collaborative knowledge discovery & marshalling for intelligence & security applications.	ISI	2010	DBLP DOI BibTeX RDF
24	Yusin Lee, Shih-Liang Chao	A neighborhood search heuristic for pre-marshalling export containers.	Eur. J. Oper. Res.	2009	DBLP DOI BibTeX RDF
24	Peter Sewell, Gareth Paul Stoyle, Michael Hicks 0001, Gavin M. Bierman, Keith Wansbrough	Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.	J. Funct. Program.	2008	DBLP DOI BibTeX RDF
24	Yusin Lee, Nai-Yun Hsu	An optimization model for the container pre-marshalling problem.	Comput. Oper. Res.	2007	DBLP DOI BibTeX RDF
24	Norman Feske	A case study on the cost and benefit of dynamic RPC marshalling for low-level system components.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
24	Heinz K. Klein, Frantz Rowe	Marshalling the Professional Experience of Doctoral Students: Towards Bridging the Gaps Between Theory and Practice.	ICIS	2007	DBLP BibTeX RDF
24	Elias Dahlhaus, Peter Horák, Mirka Miller, Joseph F. Ryan 0001	The train marshalling problem.	Discret. Appl. Math.	2000	DBLP DOI BibTeX RDF
24	Jonathan Gratch	Émile: Marshalling passions in training and education.	Agents	2000	DBLP DOI BibTeX RDF
24	Bryan Carpenter, Geoffrey C. Fox, Sung Hoon Ko, Sang Lim	Object Serialization for Marshalling Data in a Java Interface to MPI.	Java Grande	1999	DBLP DOI BibTeX RDF
24	Alberto Bartoli	A Novel Approach to Marshalling.	Softw. Pract. Exp.	1997	DBLP DOI BibTeX RDF
24	Brad Mehlenbacher (eds.)	The 14th Annual International Conference of Computer Documentation: Marshalling New Technological Forces - Building a Corporate, Academic, and User-Oriented Triangle, SIGDOC 1996, Research Triangle Park, NC, USA, October 20-23, 1996	SIGDOC	1996	DBLP DOI BibTeX RDF
24	Michael J. Albers	Decision Making: A Missing Facet of Effective Documentation.	SIGDOC	1996	DBLP DOI BibTeX RDF
24	Shish Aikat, Deb Aikat	Shared techniques between print and online documentation.	SIGDOC	1996	DBLP DOI BibTeX RDF	Windows
24	Nancy S. Kneece	An Electronic Publishing Spectrum: A Framework for Text Modules.	SIGDOC	1996	DBLP DOI BibTeX RDF
24	Dana Gillihan, Thyra L. Rauch	Information Access: Single Source, Multiple Use.	SIGDOC	1996	DBLP DOI BibTeX RDF	World Wide Web (WWW)
24	Michael Priestley, Luc A. Chamberland, Julian Jones	Rethinking the Reference Manual: Using Database Technology on the WWW to Provide Complete, High-volume Reference Information Without Overwhelming Readers.	SIGDOC	1996	DBLP DOI BibTeX RDF	World Wide Web (WWW), C++, DB2
24	Charles A. Hill, Brad Mehlenbacher	Readers' Expectations and Writers' Goals in the Late Age of Print.	SIGDOC	1996	DBLP DOI BibTeX RDF
24	Tom Banfalvi, Peter Sturgeon, Christina L. K. Walsh	Manufacturing Documentation in the Virtual Warehouse.	SIGDOC	1996	DBLP DOI BibTeX RDF	SGML
24	R. Stanley Dicks	Customer Analysis in the Wired Age.	SIGDOC	1996	DBLP DOI BibTeX RDF	World Wide Web (WWW)
24	Scott R. Tilley, Dennis B. Smith	Documenting Virtual Communities.	SIGDOC	1996	DBLP DOI BibTeX RDF	Internet, World Wide Web (WWW)
24	Paul Beam, Peter Goldsworthy	Technical Writing on the Web - Distributed SGML-based Learning.	SIGDOC	1996	DBLP DOI BibTeX RDF	SGML
24	Nancy C. McAllister, David F. McAllister	Providing Education Electronically to Nontraditional Sites: New Delivery to a New Audience.	SIGDOC	1996	DBLP DOI BibTeX RDF
24	Susan Korgen	Object-Oriented, Single-Source, On-line Documents That Update Themselves.	SIGDOC	1996	DBLP DOI BibTeX RDF
24	Dee Stribling, Tim Hunter, Len Olszewski, Anne Corrigan, Randy Mullis, Lloyd Allen	A Real World Conversion to SGML.	SIGDOC	1996	DBLP DOI BibTeX RDF	SGML
24	Bryan P. Bergeron	Academia, Privacy and Modern Information Technology: Partnering with Industry in the Modern Economy.	SIGDOC	1996	DBLP DOI BibTeX RDF	World Wide Web (WWW)
24	Betsy Brown, Karen Collier, Chuck Farr, Betty Littrell, Sharon Slagle, Deborah Stratton	From Hardcopy to Online: Changes to the Editor's Role and Processes.	SIGDOC	1996	DBLP DOI BibTeX RDF	UNIX, SGML