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 |