| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tobias Buer, Herbert Kopfer |
Shipper Decision Support for the Acceptance of Bids during the Procurement of Transport Services.  |
ICCL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Klaws, Robert Stahlbock, Stefan Voß 0001 |
Container Terminal Yard Operations - Simulation of a Side-Loaded Container Block Served by Triple Rail Mounted Gantry Cranes. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Halil Ibrahim Gündüz |
The Single-Stage Location-Routing Problem with Time Windows. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shell-Ying Huang, Xi Guo 0002, Mei Mei Lau |
A Three-Level Hierarchical Workload Management Scheme for Yard Cranes in Container Terminals. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoning Shi, Stefan Voß 0001 |
Game Theoretical Aspects in Modeling and Analyzing the Shipping Industry. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Gang Jin, Jin Xin Cao, Jiang Hang Chen, Der-Horng Lee |
A Service-Oriented Model for the Yard Management Problem in Container Terminals. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Ruan, Hao Hu 0003 |
Application of an RFID-Based System for Construction Waste Transport: A Case in Shanghai. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulf Speer, Gerlinde John, Kathrin Fischer |
Scheduling Yard Cranes Considering Crane Interference. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Haugland, Mujahed Eleyat, Magnus Lie Hetland |
The Maximum Flow Problem with Minimum Lot Sizes. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne L. Petersen, Stefan Ropke |
The Pickup and Delivery Problem with Cross-Docking Opportunity. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tai-Yu Ma |
A Cross Entropy Multiagent Learning Algorithm for Solving Vehicle Routing Problems with Time Windows. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan Liu, Malcolm Yoke Hean Low, Wen-Jing Hsu, Shell-Ying Huang, Min Zeng, Cho Aye Win |
Randomized Algorithm with Tabu Search for Multi-Objective Optimization of Large Containership Stowage Plans. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Zurheide, Kathrin Fischer |
A Simulation Study for Evaluating a Slot Allocation Model for a Liner Shipping Network. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Pacino, Alberto Delgado, Rune Møller Jensen, Tom Bebbington |
Fast Generation of Near-Optimal Plans for Eco-Efficient Stowage of Large Container Vessels. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Winkelkotte |
Optimizing Complex Logistics Systems with Approximative Consideration of Short-Term Costs. |
ICCL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Matthews, Byron Cook, John Launchbury |
Microprocessor Specification in Hawk. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Microprocessor Verification, Domain-Specific Language, Functional Language, Hardware Verification |
| 1 | Christian S. Collberg, Clark D. Thomborson, Douglas Low |
Breaking Abstractions and Unstructuring Data Structures. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
obfuscation, intellectual property protection, code transformations |
| 1 | |
Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998 |
ICCL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer |
The Template and Multiple Inheritance Approach into Attribute Grammars. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
language specifications, attribute grammars, compiler Generators |
| 1 | Soner Önder, Rajiv Gupta 0001 |
Automatic Generation of Microarchitecture Simulators. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Moreau 0001, Christian Queinnec |
Distributed Computations Driven by Resource Consumption. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Garthwaite, Scott Nettles |
Transactions for Java. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Java, Garbage Collection, Transactions, Persistence |
| 1 | M. Beckman, Samuel N. Kamin |
Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Gupta 0001, David A. Berson, Jesse Zhixi Fang |
Path Profile Guided Partial Redundancy Elimination Using Speculation. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert G. Burger, R. Kent Dybvig |
An Infrastructure for Profile-Driven Dynamic Recompilation. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
edge-count profiling, basic-block reordering, dynamic compilation, run-time code generation |
| 1 | Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol |
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
programming language design and implementation, Java, concurrency, process algebra, specification-based testing, synchronous programming |
| 1 | William L. Harrison, Samuel N. Kamin |
Modular Compilers Based on Monad Transformers. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Semantics-Based Compilation, Pass Separation, Compilers, Partial Evaluation, Monads, Programming Language Semantics, Monad Transformers |
| 1 | Mitchell Wand, William D. Clinger |
Set Constraints for Destructive Array Update Optimization. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong A. Liu, Scott D. Stoller |
Loop Optimization for Aggregate Array Computations. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
asymptotic performance improvement, array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization, aggregate computation |
| 1 | Yanhong A. Liu |
Dependence Analysis for Recursive Data. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
recursive data, recursive substructure, dead-code analysis, partially dead recursive data, regular tree grammars, grammar transformers, projections, dependence analysis, efficient algorithms, approximation operations |
| 1 | Jens Knoop |
Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis |
| 1 | Abhik Roychoudhury, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. Sekar 0001 |
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Optimization of Logic Programs, Program Specialization, Determinacy |
| 1 | Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu |
Parallelization via Context Preservation. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Context Preservation, Second-Order Generalization, Parallelization |
| 1 | Riccardo Pucella |
Reactive Programming in Standard ML. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Reactive systems, Standard ML, Reactive programming |
| 1 | Hongseok Yang, Howard Huang |
Type Reconstruction for Syntactic Control of Interference, Part 2. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Algol-like languages, type systems, interference, type inference, SCI |
| 1 | Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn |
Security and Dynamic Class Loading in Java: A Formalization. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James B. Fenwick Jr., Lori L. Pollock |
Data Flow Analysis across Tuplespace Process Boundaries. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
explicity parallelism, distributed shared memory, data flow analysis, tuplespace |
| 1 | Roberto Ierusalimschy, Renato Cerqueira, Noemi de La Rocque Rodriguez |
Using Reflexivity to Interface with CORBA. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
CORBA binding, interpreted languages, reflexivity |
| 1 | Alessandra Di Pierro, Herbert Wiklicky |
An Operational Semantics for Probabilistic Concurrent Constraint Programming. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism |
| 1 | François Noël, Luke Hornof, Charles Consel, Julia L. Lawall |
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
run-time specialization, partial evaluation |
| 1 | Ian Poole, Craig Ewington, Arthur Joones, Steve Wille |
Combining Functional and Object-Oriented Programming Methodologies in a Large Commercial Application. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
object-oriented programming, C++, Functional programming, lazy evaluation, Real world applications |
| 1 | Oliver Rüthing |
Optimal Code Motion in the Presence of Large Expressions. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
partial redundancy, graph theory, register allocation, graph matching, program optimization, code motion, elimination |
| 1 | Mark Chu-Carroll, Lori L. Pollock |
Composites: Trees for Data Parallel Programming. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Jagannathan |
Dynamic Modules in Higher-Order Languages. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Paul Bahsoun, Jean-Pierre Briot, Denis Caromel, Louis Féraud, Oscar Nierstrasz, Peter Wegner |
How could object-oriented concepts and parallelism cohabit? |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur H. Lee, Joseph L. Zachary |
Using Metaprogramming to Add Persistence to CLOS. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Michael I. Schwartzbach |
Binding-time Analysis: Abstract Interpretation versus Type Inference. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuki Yasumatsu, Norihisa Doi |
SPiCE: A System for Translating Smalltalk Programs into a C Environment. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Taizo Kojima, Akira Sugimoto |
Customizing C++ to Improve the Reusability of Class Libraries. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Vilares Ferro, Bernard Dion |
Efficient Incremental Parsing for Context-Free Languages. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth D. Landry, James D. Arthur |
Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in Linda. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal |
A Compositional Semantics for Conditional Term Rewriting Systems. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd A. Cook, Edwin A. Harcourt |
A Functional Specification Language for Instruction Set Architectures. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hitchens, John Rosenberg |
A Three-level Object-Based Model. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Gary Chan, H. Lewis Chau |
Visual Language for Behavioral Specifications of Reactive Systems. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Satoh, Mario Tokoro |
Semantics for a Real-Time Object-Oriented Programming Language. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Feipei Lai, Yung-kuang Chao |
The Complementary Relationship of Interprocedural Register Allocation and Inlining. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyh-Herng Chow, Williams Ludwell Harrison III |
State Space Reduction in Abstract Interpretation of Parallel Programs. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot |
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond |
A Multiparadigm Language for Reactive Systems. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis M. Volpano |
Haskell-style Overloading is NP-hard. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan G. Yoder, David L. Cohn |
Real Spreadsheets for Real Programmers. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana M. Erosa, Laurie J. Hendren |
Taming Control Flow: A Structured Approach to Eliminating Goto Statements. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Ladd, J. Christopher Ramming |
A*: a Language for Implementing Language Processors. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Glück, Jesper Jørgensen |
Generating Optimizing Specializers. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Abstract Interpretation over Algebraic Data Types. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski |
Region Analysis: A Parallel Elimination Method for Data Flow Analysis. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri E. Bal (eds.) |
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France |
ICCL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Raju Pandey, James C. Browne |
A Compositional Approach to Concurrent Object-Oriented Programming. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Boleslaw K. Szymanski, John Feo, J. Hicks, J. Jagannathan, Vivek Sarkar, David B. Skillicorn |
Is there a future for functional languages in parallel programming? |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos A. Rodrigues 0001, Chris W. Loftus, Mark Ratcliffe 0001, Youfu Li |
Structure Notation of Dynamic Systems: A Pictorial Language Approach. |
ICCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini |
High-level language support for programming distributed systems. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Pascal Van Hentenryck |
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Gadkari |
Abstract data groups: structuring distributed programs as layers. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy A. Budd |
Multiparadigm data structures in Leda. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | James R. Cordy, Mario Barbacci (eds.) |
ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992 |
ICCL |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jens Palsberg |
An automatically generated and provably correct compiler for a subset of Ada. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann 0001 |
Optimizing structural recursion in functional programs. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Vollmer 0001, R. Hoffart |
Modula-P-a language for parallel programming definition and implementation on a transputer network. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Nigel Horspool, Jan Vitek |
Static analysis of PostScript code. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | J. A. Trescher |
Compositional specification of parallel time-critical systems. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith D. Cooper, Mary W. Hall, Ken Kennedy |
Procedure cloning. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Harrison, Harold Ossher |
Attaching instance variables to method realization1 instead of classes. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Peter Greenfield |
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Uday S. Reddy, Samuel N. Kamin |
On the power of abstract interpretation. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Pettersson, Peter Fritzson |
DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurie J. Hendren, Guang R. Gao |
Designing programming languages for analyzability: a fresh look at pointer data structures. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelika Zobel |
Program structure as basis for parallelizing global register allocation. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Sitaraman |
A class of programming language mechanisms to facilitate multiple implementations of the same specification. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee |
Semantic issues in the design of languages for debugging. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Shaw, William A. Wulf |
Toward relaxing assumptions in languages and the1r implementations. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Gunaseelan, Richard J. LeBlanc |
Distributed Eiffel: a language for programming multi-granular distributed objects on the Clouds operating system. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence A. Crowl, Thomas J. LeBlanc |
Control abstraction in parallel programming languages. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Bracha, Gary Lindstrom |
Modularity meets inheritance. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri E. Bal |
Parallel programming in SR. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Gupta 0001 |
SPMD execution of programs with dynamic data structures on distributed memory machines. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah M. Alashqur, Stanley Y. W. Su, Herman Lam |
Constraint specification on object-oriented databases. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørn N. Freeman-Benson, Alan Borning |
The design and implementation of Kaleidoscope'90-A constraint imperative programming language. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Deutsch |
A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Zimmermann |
Complexity issues in the design of functional languages with explicit parallelism. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license