Sciweavers

1129 search results - page 85 / 226
» Modular Ranking Abstraction
Sort
View
MFCS
1998
Springer
14 years 1 months ago
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
Egon Börger, Wolfram Schulte
LION
2010
Springer
239views Optimization» more  LION 2010»
14 years 1 months ago
The EvA2 Optimization Framework
Abstract. We present EvA2, a comprehensive metaheuristic optimization framework with emphasis on Evolutionary Algorithms. It presents a modular structure of interfaces and abstract...
Marcel Kronfeld, Hannes Planatscher, Andreas Zell
CACM
2008
84views more  CACM 2008»
13 years 9 months ago
Taming heterogeneous agent architectures
argely on the ability of used architectural abstractions to support the separate handling of agent-specific concerns since an early state of design. The applied architectural style...
Alessandro Garcia, Carlos José Pereira de L...
ICFP
2002
ACM
14 years 9 months ago
Composing monads using coproducts
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
Christoph Lüth, Neil Ghani
LR
2011
156views more  LR 2011»
13 years 4 months ago
The assessment of competitive intensity in logistics markets
Scopus is the world’s largest abstract and citation database of peer-reviewed literature and quality web sources (-> http://www.info.sciverse.com/scopus). ontains 41 million r...
Peter Klaus