Filters








1,114 Hits in 5.9 sec

Strong Update, Disposal, and Encapsulation in Bunched Typing

Josh Berdine, Peter W. O'Hearn
2006 Electronical Notes in Theoretical Computer Science  
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references.  ...  A natural question, then, is whether bunched typing can also incorporate safe disposal and strong update.  ...  In sum, we are able to transfer to alanguage with disposal and strong update a feature emphasized by Reynolds inhis work on sci: encapsulation of state that is shared by a collection of procedures.  ... 
doi:10.1016/j.entcs.2006.04.006 fatcat:psnzh4uqxff65n5p4vjne3jgkq

Bunching for Regions and Locations

Matthew Collinson, David Pym
2006 Electronical Notes in Theoretical Computer Science  
allocation and disposal of regions.  ...  Bunched polymorphism provides natural type-theoretic mechanisms for capturing the disjointness conditions in such models.  ...  This is a variant of the language for allocation, strong update and disposal of firstorder references given in given in [2] .  ... 
doi:10.1016/j.entcs.2006.04.010 fatcat:csmffx6wyjeotkvoieaame57vu

Effect of Trans-Polyoctylene Rubber on the Polypropylene/Recycled Acrylonitrile Butadiene Rubber/Empty Fruit Bunch Composites

Nurul Syazwani Othman, School of Environmental Engineering, Universiti Malaysia Perlis, Kompleks Pengajian Jejawi 3, 02600 Arau, Perlis, Malaysia, Ragunathan Santiagoo, School of Environmental Engineering, Universiti Malaysia Perlis, Kompleks Pengajian Jejawi 3, 02600 Arau, Perlis, Malaysia
2020 Journal of Engineering Science  
To cite this article: Nurul Syazwani Othman and Ragunathan Santiagoo (2020).  ...  Effect of trans-polyoctylene rubber on the polypropylene/recycled acrylonitrile butadiene rubber/empty fruit bunch composites.  ...  filler were encapsulate well in the matrix.  ... 
doi:10.21315/jes2020.16.1.2 fatcat:btkegxf7jfhanp7ske5vqlbeqe

Local Reasoning about Programs that Alter Data Structures [chapter]

Peter O'Hearn, John Reynolds, Hongseok Yang
2001 Lecture Notes in Computer Science  
We consider a low-level storage model based on a heap with associated lookup, update, allocation and deallocation operations, and unrestricted address arithmetic.  ...  The assertion language is based on a possible worlds model of the logic of bunched implications, and includes spatial conjunction and implication connectives alongside those of classical logic.  ...  O'Hearn would like to thank Richard Bornat, Cristiano Calcagno and David Pym for discussions about local reasoning and bunched logic.  ... 
doi:10.1007/3-540-44802-0_1 fatcat:h5xealpdkvaajoybcar4zimejq

A REVIEW ON INNOVATIVE AND NOVEL STRATEGY-FLOATING MICROSPONGES

Thakur*, Indu
2021 Zenodo  
Most useable and efficient technique is floating microsponges. The Microsponges Delivery System is an original polymeric system consisting of porous microspheres.  ...  This Microsponges floats on the aqueous fluid of stomach and Releases the medicament for prolonged period of time. For those drugs whose half life is too short.  ...  For short, it involves strong and periodic contractions. 4.  ... 
doi:10.5281/zenodo.4879515 fatcat:zyvecuoawjggjniavaamjr5rhy

Emerging Databases for Next Generation Big Data Applications

2019 International Journal of Engineering and Advanced Technology  
This wildfire leverage in the Spark systems into modified as large scale process for different types as the difficult analytical request, & columnar process to modify as quick transaction & analytics simultaneous  ...  In the paper presented in the wildfire systems in that target Hybrid Transactional & Analytical process (HTAP).  ...  Considering HDFS and Hadoop's center turned into steerage execution, facts was additionally eaten in bunches.  ... 
doi:10.35940/ijeat.a1037.1291s619 fatcat:cdpu233hxfg5vb27u5xbwpiraq

simpA-WS: A Simple Agent-Oriented Programming Model & Technology for Developing SOA & Web Services

Alessandro Ricci, Enrico Denti
2007 Workshop From Objects to Agents  
can be programmed in simpA and how SOA/WS applications can be programmed in simpA-WS; a simple running example is discussed for concreteness. • the service requestor, which encapsulates the business logic  ...  on how to use services: from an interaction point of view, this results in sending and receiving messages in compliance with the service interface specification;  ...  by the updateProperty primitive, which causes the generation of an observable event of type property updated(count): the event data carry the new property value.  ... 
dblp:conf/woa/RicciD07 fatcat:amqswp5qsvgrdnnrmecernqnqq

Tau/Charm Factory Accelerator Report [article]

M.E. Biagini, R. Boni, M. Boscolo, A. Chiarucci, R. Cimino, A. Clozza, A. Drago, S. Guiducci, C. Ligi, G. Mazzitelli, R. Ricci, C. Sanelli, M. Serio (+27 others)
2013 arXiv   pre-print
The project aims at realizing a variable energy Flavor Factory between 1 and 4.6 GeV in the center of mass, and succeeds to the SuperB project from which it inherits most of the solutions proposed in this  ...  The present Report concerns the current status of the Italian Tau/Charm accelerator project and in particular discusses the issues related to the lattice design, to the accelerators systems and to the  ...  encapsulated in a solenoidal field.  ... 
arXiv:1310.6944v1 fatcat:pakotudwqfae3eqganwrmd2mve

ILC Reference Design Report Volume 3 - Accelerator [article]

Nan Phinney, Nobukasu Toge, Nicholas Walker, et al
2007 arXiv   pre-print
The complex includes a polarized electron source, an undulator-based positron source, two 6.7 km circumference damping rings, two-stage bunch compressors, two 11 km long main linacs and a 4.5 km long beam  ...  The ILC has a total footprint of about 31 km and is designed for a peak luminosity of 2x10^34 cm^-2 s^-1.  ...  Each of the GDE regional teams in the Americas, Asia and Europe are grateful for the support of their local scientific societies, industrial forums, advisory committees and reviewers.  ... 
arXiv:0712.2361v1 fatcat:w2yn5jkccnaq5oiunxswiwvc3e

Programming Distributed Multi-Agent Systems in simpAL

Andrea Santi, Alessandro Ricci
2012 Workshop From Objects to Agents  
In this paper we tackle this problem by introducing simpAL, a new agent-oriented programming language and platform which has been conceived from the beginning to provide a more comprehensive support for  ...  programming, deploying and executing physically distributed MASs.  ...  Like artifacts in the human case, artifacts in simpAL can be dynamically instantiated and disposed (by agents), and, when needed, designed to be composed so as to create complex artifacts by connecting  ... 
dblp:conf/woa/SantiR12 fatcat:6ds2bdxt7nbhzc5ngmf7mymoau

OGSSim: Open Generic data Storage systems Simulation tool

Sebastien Gougeaud, Soraya Zertal, Jacques-Charles Lafoucriere, Philippe Deniel
2015 Proceedings of the Eighth EAI International Conference on Simulation Tools and Techniques  
The conducted tests using OLTP and scientific workloads show accurate results, obtained in a competitive runtime.  ...  In this paper, an open and generic storage simulator is proposed. It simulates with accuracy multi-tiered storage systems based on heterogeneous devices including HDDs, SSDs and the connecting buses.  ...  CONCLUSION AND FUTURE WORKS In this paper, we present OGSSim, an Open and Generic Storage system Simulation tool.  ... 
doi:10.4108/eai.24-8-2015.2261023 dblp:conf/simutools/GougeaudZLD15 fatcat:ryeubuh3mbe4zn2vn4g34sx524

Managing Bullwhip-induced risks in supply chains

Denis R. Towill, Stephen M. Disney
2008 International Journal of Risk Assessment and Management  
Firstly we provide strong evidence that availability of high fidelity up-to-date delivery lead time information is essential.  ...  The new theoretical advances described in the paper are validated via simulation models of the delivery process.  ...  The first is fairly obvious, since stock is written down, and disposed of in the inevitable retail "sale".  ... 
doi:10.1504/ijram.2008.021376 fatcat:kywhla3y55c7xiqdsyx26f3vry

The chemical approach to typestate-oriented programming

Silvia Crafa, Luca Padovani
2015 SIGPLAN notices  
We introduce a simple behavioral type theory to express in a uniform way both the private and the public interfaces of objects, to describe and enforce structured object protocols consisting of possibilities  ...  This approach allows us to investigate typestate in an inherently concurrent setting, whereby objects can be accessed and modified concurrently by several processes, each potentially changing only part  ...  Acknowledgments The authors are grateful to the anonymous reviewers for their detailed and insightful comments and suggestions and to Philipp Haller for his prompt help in porting Scala Joins to the latest  ... 
doi:10.1145/2858965.2814287 fatcat:4hh6vuaolzbifft5t5kf62uy4e

The Chemical Approach to Typestate-Oriented Programming

Silvia Crafa, Luca Padovani
2017 ACM Transactions on Programming Languages and Systems  
We introduce a simple behavioral type theory to express in a uniform way both the private and the public interfaces of objects, to describe and enforce structured object protocols consisting of possibilities  ...  This approach allows us to investigate typestate in an inherently concurrent setting, whereby objects can be accessed and modified concurrently by several processes, each potentially changing only part  ...  Acknowledgments The authors are grateful to the anonymous reviewers for their detailed and insightful comments and suggestions and to Philipp Haller for his prompt help in porting Scala Joins to the latest  ... 
doi:10.1145/3064849 fatcat:3djknnbxqbah3l762zoleoek4q

The chemical approach to typestate-oriented programming

Silvia Crafa, Luca Padovani
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
We introduce a simple behavioral type theory to express in a uniform way both the private and the public interfaces of objects, to describe and enforce structured object protocols consisting of possibilities  ...  This approach allows us to investigate typestate in an inherently concurrent setting, whereby objects can be accessed and modified concurrently by several processes, each potentially changing only part  ...  Acknowledgments The authors are grateful to the anonymous reviewers for their detailed and insightful comments and suggestions and to Philipp Haller for his prompt help in porting Scala Joins to the latest  ... 
doi:10.1145/2814270.2814287 dblp:conf/oopsla/CrafaP15 fatcat:fwsxqnv3fvdbloojz4oe4f62ku
« Previous Showing results 1 — 15 out of 1,114 results