1,777 research outputs found
Shuffling posets on trajectories
No full textChoreographies describe possible sequences of interactions among a set of agents. We aim to join two lines of research on choreographies: the use of the shuffle on trajectories operator to design more expressive choreographic languages, and the use of models featuring partial orders, to compactly represent concurrency between agents. Specifically, in this paper, we explore the application of the shuffle on trajectories operator to individual posets, and we give a characterisation of shuffles of posets which again yield an individual poset
Shuffling posets on trajectories
Get PDFChoreographies describe possible sequences of interactions among a set of agents. We aim to join two lines of research on choreographies: the use of the shuffle on trajectories operator to design more expressive choreographic languages, and the use of models featuring partial orders, to compactly represent concurrency between agents. Specifically, in this paper, we explore the application of the shuffle on trajectories operator to individual posets, and we give a characterisation of shuffles of posets which again yield an individual poset
A 0.25mm<sup>2</sup> Resistor-Based Temperature Sensor with an Inaccuracy of 0.12°C (3σ) from -55°C to 125°C and a Resolution FOM of 32fJK<sup>2</sup>
No full textTemperature sensors based on Wheatstone bridges, e.g. [1,2], have recently achieved higher resolution and greater energy efficiency than conventional BJT-based sensors [3]. However, this comes at the expense of area, making them less attractive in industrial applications. This paper presents a Wheatstone-bridge sensor that uses a zoom-ADC architecture to reduce area (by 3x over [2]) and achieve state-of-the-art energy-efficiency for an integrated temperature sensor. After a 1st-order fit and a systematic non-linearity correction [2,4], it also achieves state-of-the-art inaccuracy: 0.12°C (3σ) over the full military temperature range (-55°C to 125°C).Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Electronic InstrumentationMicroelectronic
A CMOS Dual-RC frequency reference with ±250ppm inaccuracy from -45°C to 85°C
No full textTo comply with wired communication standards such as USB, SATA and PCI/PCI-E, systems-on-chip require frequency references with better than 300ppm accuracy. LC-based references achieve 100ppm accuracy [1], but suffer from high power consumption (∼20mW). Thermal diffusivity (TD) references require less power (∼2mW), at the expense of less accuracy (1000ppm) [2]. RC-based references offer the lowest power consumption, but their accuracy is typically limited to ∼0.1% [3]. In RC relaxation oscillators, comparator offset and delay are the major sources of inaccuracy [4,5]. References based on frequency-locked loops (FLLs) circumvent these by locking an oscillator's frequency to the time-constant of an RC filter, but their accuracy is then limited by the nonlinear temperature dependency of on-chip resistors [3,6].Session 3.3 Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Electronic Instrumentation(OLD)Applied Quantum ArchitecturesMicroelectronic
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Get PDFConstruction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. With this artifact, and the companion paper, we revisit and revise this approach.
Regarding our "revisitation", using Scala 3, we present the existing API generation approach, which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match types in Scala 3. Regarding our "revision", also using Scala 3, we present a new API generation approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types, too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from implementing concurrent subprotocols in the DFA-based approach. We implement our approach in a new API generation tool, called Pompset. This artifact contains Pompset
CAOS: A Reusable Scala Web Animator of Operational Semantics (Software Artefact)
No full text<p>This software artefact accompanies a paper entitled <em>"CAOS: A Reusable Scala Web Animator of Operational Semantics"</em>, accepted at the COORDINATION 2023 conference. It includes a set of libraries in the Scala language that support the creation of web-based frontends that analyse Domain Specific Languages (DSL), with dedicated libraries to reason over operational rules and to produce visual diagrams.</p>
<p>All source code of CAOS can also be found online at https://github.com/arcalab/CAOS, where you can also find links to these and many other examples that use CAOS. A demonstration video showcasing the usage of CAOS with the `lambda` example, included in this artefact, can be found in <a href="https://zenodo.org/record/7876059">https://zenodo.org/record/7876059</a> and <a href="https://youtu.be/Xcfn3zqpubw">https://youtu.be/Xcfn3zqpubw</a>.</p>
<p>The following files can be found in this artefact:</p>
<ul>
<li> `readme.md`: an extended version of this description;</li>
<li> `lambda`: contains the 1st project that uses CAOS</li>
<li> `while`: contains the 2nd project that uses CAOS</li>
<li> `choreo`: contains the 3rd project that uses CAOS</li>
</ul>
<p>All these 3 projects were described in the paper. Each project folder includes all source code, a pre-compiled version, and instructions on how to recompile. The source code of CAOS is replicated in every project, within the sub-folder `lib/caos`. This redundancy illustrates how CAOS is meant to be used: as a library for an hosting project.</p>
<p>The extended `readme.md` document further includes instructions to:</p>
<ul>
<li>run the pre-compiled JS to replicate the results in the companion paper; and</li>
<li>recompile the JS for each project.</li>
</ul>
A twenty-five-year-old eucalyptus tree in a eucalyptus grove at the L.J. Rose Ranch, ca.1900
No full textPhotograph of a twenty-five-year-old eucalyptus tree in a eucalyptus grove at the L.J. Rose Ranch, ca.1900. The barks on the trunk is pealing off to reveal the smooth surface underneath. The ground is littered with fallen leaves. Shrubs and grass cover the area in the background where other trees stand.; "Under the ownership of Leonard John Rose, the Sunny Slope Ranch live location was a showplace of orchards and vineyards, drawing as many as two to three hundred visitors a day. Rose learned how to grow grapes without irrigation, and the ranch became known for its brandy and fine wines." -- unknown author.; "The Old Grapevine holds a small segment of the original vine whose trellised branches once covered 10,000 square feet. It was a popular local gathering place where refreshments were served under the vine. Started as a cutting from the "Mother Vine" at the Mission, many local vineyards began from cuttings of this vine. L.J. Rose of Sunnyslope Ranch, just north and east of San Gabriel, started with such cuttings and grafted on many varieties of grapes new to this area. He later helped begin many a vineyard in Northern California. The San Gabriel Winery was among the worlds largest in the late 1800's, until a blight wiped out the vineyards and oranges became the main agricultural crop of the area. Today the park is once again a popular place for weddings, parties and social gatherings." -- unknown author
- …
