89 research outputs found
Multimethods and separate static typechecking in a language with C++-like object model
The goal of this paper is the description and analysis of multimethod
implementation in a new object-oriented, class-based programming language
called OOLANG. The implementation of the multimethod typecheck and selection,
deeply analyzed in the paper, is performed in two phases in order to allow
static typechecking and separate compilation of modules. The first phase is
performed at compile time, while the second is executed at link time and does
not require the modules' source code. OOLANG has syntax similar to C++; the
main differences are the absence of pointers and the realization of
polymorphism through subsumption. It adopts the C++ object model and supports
multiple inheritance as well as virtual base classes. For this reason, it has
been necessary to define techniques for realigning argument and return value
addresses when performing multimethod invocations.Comment: 15 pages, 18 figure
C++ programming language for an abstract massively parallel SIMD architecture
The aim of this work is to define and implement an extended C++ language to
support the SIMD programming paradigm. The C++ programming language has been
extended to express all the potentiality of an abstract SIMD machine consisting
of a central Control Processor and a N-dimensional toroidal array of Numeric
Processors. Very few extensions have been added to the standard C++ with the
goal of minimising the effort for the programmer in learning a new language and
to keep very high the performance of the compiled code. The proposed language
has been implemented as a porting of the GNU C++ Compiler on a SIMD
supercomputer.Comment: 10 page
Egalitarianism in the rank aggregation problem: a new dimension for democracy
Winner selection by majority, in an election between two candidates, is the
only rule compatible with democratic principles. Instead, when the candidates
are three or more and the voters rank candidates in order of preference, there
are no univocal criteria for the selection of the winning (consensus) ranking
and the outcome is known to depend sensibly on the adopted rule. Building upon
XVIII century Condorcet theory, whose idea was to maximize total voter
satisfaction, we propose here the addition of a new basic principle (dimension)
to guide the selection: satisfaction should be distributed among voters as
equally as possible. With this new criterion we identify an optimal set of
rankings. They range from the Condorcet solution to the one which is the most
egalitarian with respect to the voters. We show that highly egalitarian
rankings have the important property to be more stable with respect to
fluctuations and that classical consensus rankings (Copeland, Tideman, Schulze)
often turn out to be non optimal. The new dimension we have introduced
provides, when used together with that of Condorcet, a clear classification of
all the possible rankings. By increasing awareness in selecting a consensus
ranking our method may lead to social choices which are more egalitarian
compared to those achieved by presently available voting systems.Comment: 18 pages, 14 page appendix, RateIt Web Tool:
http://www.sapienzaapps.it/rateit.php, RankIt Android mobile application:
https://play.google.com/store/apps/details?id=sapienza.informatica.rankit.
Appears in Quality & Quantity, 10 Apr 2015, Online Firs
Simplify Node-RED For End User Development in SeismoCloud
Networks of IoT devices often require configuration and definition of
behavior by the final user. Node-RED is a flow-based programming platform
commonly used for End User Development, but it requires networking and
protocols skills in order to be efficiently used. We add a level of abstraction
to Node-RED nodes in order to allow non-skilled users to configure and control
networks of IoT devices and online services. We applied such abstractions to
the SeismoCloud application for earthquake monitoring.Comment: 4 pages, 2 figures, worksho
Report from Working Group 3: Beyond the standard model physics at the HL-LHC and HE-LHC
This is the third out of five chapters of the final report [1] of the Workshop on Physics at HL-LHC, and perspectives on HE-LHC [2]. It is devoted to the study of the potential, in the search for Beyond the Standard Model (BSM) physics, of the High Luminosity (HL) phase of the LHC, defined as ab of data taken at a centre-of-mass energy of 14 TeV, and of a possible future upgrade, the High Energy (HE) LHC, defined as ab of data at a centre-of-mass energy of 27 TeV. We consider a large variety of new physics models, both in a simplified model fashion and in a more model-dependent one. A long list of contributions from the theory and experimental (ATLAS, CMS, LHCb) communities have been collected and merged together to give a complete, wide, and consistent view of future prospects for BSM physics at the considered colliders. On top of the usual standard candles, such as supersymmetric simplified models and resonances, considered for the evaluation of future collider potentials, this report contains results on dark matter and dark sectors, long lived particles, leptoquarks, sterile neutrinos, axion-like particles, heavy scalars, vector-like quarks, and more. Particular attention is placed, especially in the study of the HL-LHC prospects, to the detector upgrades, the assessment of the future systematic uncertainties, and new experimental techniques. The general conclusion is that the HL-LHC, on top of allowing to extend the present LHC mass and coupling reach by on most new physics scenarios, will also be able to constrain, and potentially discover, new physics that is presently unconstrained. Moreover, compared to the HL-LHC, the reach in most observables will, generally more than double at the HE-LHC, which may represent a good candidate future facility for a final test of TeV-scale new physics
Exploiting dinamicity for the definition and parsing of context sensitive grammars
Springer LNAI Series, 2003
- …