Search results for "Scala"

showing 10 items of 1416 documents

Modeling and Simulation of Network-on-Chip Systems with DEVS and DEUS

2013

Networks on-chip (NoCs) provide enhanced performance, scalability, modularity, and design productivity as compared with previous communication architectures for VLSI systems on-chip (SoCs), such as buses and dedicated signal wires. Since the NoC design space is very large and high dimensional, evaluation methodologies rely heavily on analytical modeling and simulation. Unfortunately, there is no standard modeling framework. In this paper we illustrate how to design and evaluate NoCs by integrating the Discrete Event System Specification (DEVS) modeling framework and the simulation environment called DEUS. The advantage of such an approach is that both DEVS and DEUS support modularity—the fo…

DeusModularity (networks)DEVSArticle Subjectlcsh:TComputer scienceDistributed computinglcsh:RSIGNAL (programming language)lcsh:MedicineGeneral Medicinelcsh:TechnologyGeneral Biochemistry Genetics and Molecular BiologyModeling and simulationNetwork on a chipScalabilitylcsh:Qlcsh:ScienceLevel of detailSimulationResearch ArticleGeneral Environmental ScienceThe Scientific World Journal
researchProduct

Gozos a nuestra Señora de la Escala, venerada en la de los Claustros del Convento de Jesus de la Orden del P. S. Francisco

1750

El full orlat Grav. xil. enmarcat de: "N. S. de la Escala", flanquejat per gerros amb flors Text del goig a tres col. separades per filets

Devocions populars València (Comunitat Valenciana)Mare de Déu de l'Escala GoigsConvent de Santa Maria de Jesús (O.F.M.) (València)
researchProduct

Per-flow signalling extension across DiffServ domains

2003

This paper describes a framework devised to extend per-flow admission control operation across Differentiated Services domains. Although the specific case of interoperability with RSVP is under discussion, our proposal can be easily adapted to other hop-by-hop signalling protocols. In our framework, DiffSery border routers accomplish three tasks. First, during the set-up phase, flows are mapped onto PHB groups on the basis of their QoS and traffic specifications. Second, signalling packets are tunnelled into IP packets marked as “probes”, where the “probe” marking is a DCSP value associated to the considered PHB Group. Third, when the flow set-up is complete, flow data packets are marked as…

Differentiated servicesComputer scienceNetwork packetbusiness.industryQuality of serviceComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKSInteroperabilityScalabilityProvisioningAdmission controlbusinessComputer networkCall blocking
researchProduct

Three-dimensional behavior of apodized nontelecentric focusing systems.

2002

The scalar field in the focal volume of nontelecentric apodized focusing systems cannot be accurately described by the Debye integral representation. By use of the Fresnel–Kirchhoff diffraction formula it is found that, if the aperture stop is axially displaced, the focal-volume structure is tuned. We analyze the influence of the apodizing function and find that, whereas axially superresolving pupil filters are highly sensitive to the focal-volume reshaping effect, axially apodizing filters are more inclined to the focal-shift effect.

DiffractionPhysicsbusiness.industryMaterials Science (miscellaneous)Astrophysics::Instrumentation and Methods for AstrophysicsPhysics::OpticsIndustrial and Manufacturing EngineeringKirchhoff's diffraction formulasymbols.namesakeOpticsApodizationsymbolsFresnel numberBusiness and International ManagementbusinessAxial symmetryScalar fieldFresnel diffractionDebyeApplied optics
researchProduct

Effective Fresnel-number concept for evaluating the relative focal shift in focused beams

1998

We report on an analytical formulation, based on the concept of effective Fresnel number, to evaluate in a simple way the relative focal shift of rotationally nonsymmetric scalar fields that have geometrical focus and moderate Fresnel number. To illustrate our approach, certain previously known results and also some new focusing setups are analytically examined.

DiffractionWavefrontPhysicsFresnel zoneGeometrical opticsbusiness.industryAstrophysics::Instrumentation and Methods for AstrophysicsScalar (physics)Atomic and Molecular Physics and OpticsElectronic Optical and Magnetic MaterialsOpticsFresnel numberComputer Vision and Pattern RecognitionFocus (optics)businessFresnel diffractionJournal of the Optical Society of America A
researchProduct

A Weitzenböck formula for the damped Ornstein–Uhlenbeck operator in adapted differential geometry

2001

Abstract On the Riemannian path space we consider the Ornstein–Uhlenbeck operator associated to the Dirichlet form E (f,g)=E〈 ∇ f, ∇ g〉 H , where ∇ is the damped gradient and 〈·,·〉 H the scalar product of the Cameron–Martin space H . We prove a corresponding Weitzenbock formula restricted to adapted vector fileds: the Ricci-tensor is shown to be equal to the identity.

Dirichlet formScalar (mathematics)Mathematical analysisOrnstein–Uhlenbeck processGeneral MedicineRiemannian geometrysymbols.namesakeMathematics::ProbabilityDifferential geometrysymbolsVector fieldOrnstein–Uhlenbeck operatorRicci curvatureMathematicsComptes Rendus de l'Académie des Sciences - Series I - Mathematics
researchProduct

Geometry and analysis of Dirichlet forms (II)

2014

Abstract Given a regular, strongly local Dirichlet form E , under assumption that the lower bound of the Ricci curvature of Bakry–Emery, the local doubling and local Poincare inequalities are satisfied, we obtain that: (i) the intrinsic differential and distance structures of E coincide; (ii) the Cheeger energy functional Ch d E is a quadratic norm. This shows that (ii) is necessary for the Riemannian Ricci curvature defined by Ambrosio–Gigli–Savare to be bounded from below. This together with some recent results of Ambrosio–Gigli–Savare yields that the heat flow gives a gradient flow of Boltzman–Shannon entropy under the above assumptions. We also obtain an improvement on Kuwada's duality …

Dirichlet formta111Mathematical analysisGeometryCurvatureUpper and lower boundsDirichlet distributionsymbols.namesakeBounded functionsymbolsMathematics::Metric GeometryMathematics::Differential GeometryAnalysisRicci curvatureEnergy functionalScalar curvatureMathematicsJournal of Functional Analysis
researchProduct

Analysis of Optimal High Resolution and Fixed Rate Scalar Quantization

2009

In 2001, Hui and Neuhoff proposed a uniform quantizer with overload for the quantization of scalar signals and derived the asymptotically optimal size of the quantization bins in the high-bitrate limit. The purpose of the present paper is to prove a quantitatively more precise version of this result which, at the same time, is valid for a more general, quite natural class of probability distributions that requires only little regularity and includes, for instance, positive Lipschitz-continuous functions of unit integral.

Discrete mathematicsAsymptotically optimal algorithmScalar quantizationQuantization (signal processing)Applied mathematicsHigh resolutionProbability distributionLibrary and Information SciencesInformation theoryNatural classComputer Science ApplicationsInformation SystemsMathematicsIEEE Transactions on Information Theory
researchProduct

Unconditionally convergent multipliers and Bessel sequences

2016

Abstract We prove that every unconditionally summable sequence in a Hilbert space can be factorized as the product of a square summable scalar sequence and a Bessel sequence. Some consequences on the representation of unconditionally convergent multipliers are obtained, thus providing positive answers to a conjecture by Balazs and Stoeva in some particular cases.

Discrete mathematicsConjectureApplied Mathematics010102 general mathematicsScalar (mathematics)Mathematics::Classical Analysis and ODEsHilbert space01 natural sciencesFunctional Analysis (math.FA)Mathematics - Functional AnalysisMultiplier (Fourier analysis)030507 speech-language pathology & audiology03 medical and health sciencessymbols.namesakeBessel polynomialsFOS: MathematicssymbolsUnconditional convergence0101 mathematics0305 other medical scienceAnalysisBessel functionMathematicsJournal of Mathematical Analysis and Applications
researchProduct

On the equivalence of McShane and Pettis integrability in non-separable Banach spaces

2009

Abstract We show that McShane and Pettis integrability coincide for functions f : [ 0 , 1 ] → L 1 ( μ ) , where μ is any finite measure. On the other hand, assuming the Continuum Hypothesis, we prove that there exist a weakly Lindelof determined Banach space X, a scalarly null (hence Pettis integrable) function h : [ 0 , 1 ] → X and an absolutely summing operator u from X to another Banach space Y such that the composition u ○ h : [ 0 , 1 ] → Y is not Bochner integrable; in particular, h is not McShane integrable.

Discrete mathematicsPettis integralPure mathematicsMcShane integralIntegrable systemApplied MathematicsBanach spaceProjectional resolution of the identitySeparable spaceAbsolutely summing operatorScalarly null functionWeakly Lindelöf determined Banach spacePettis integralEquivalence (measure theory)Continuum hypothesisAnalysisMathematicsProperty (M)Journal of Mathematical Analysis and Applications
researchProduct