21,991 Hits in 5.4 sec

Equational Reasoning for Linking with First-Class Primitive Modules [chapter]

J. B. Wells, René Vestergaard
2000 Lecture Notes in Computer Science  
In contrast, we introduce the m-calculus, a calculus where the primitive constructs are modules, linking, and the selection and hiding of module components.  ...  Modules and linking are usually formalized by encodings which use the λ-calculus, records (possibly dependent), and possibly some construct for recursion.  ...  The m-calculus is the first calculus of linking for first-class primitive modules which has been proved confluent.  ... 
doi:10.1007/3-540-46425-5_27 fatcat:qguozekpybahzgcc7sy2htkc74

A time and resource problem for planning architectures [chapter]

Amedeo Cesta, Cristiano Stella
1997 Lecture Notes in Computer Science  
It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource reasoning is seen as integrated with temporal reasoning.  ...  This paper concerns the problem of resource reasoning in planning.  ...  As a consequence, it is easy to deduce that the first relation in equation 6 is more restrictive than its correspondent in equation 5. A similar proof holds for the corresponding second relations.  ... 
doi:10.1007/3-540-63912-8_80 fatcat:f2epz4zrwngzdosfxkoqytf62q

Supporting dimensional analysis in SystemC-AMS

Torsten Maehne, Alain Vachoux
2009 2009 IEEE Behavioral Modeling and Simulation Workshop  
This paper will introduce new modeling capabilities for SystemC-AMS to describe energy conserving multi-domain systems in a formal and consistent way at a high level of abstraction.  ...  A library of generic block diagram components has been developed to demonstrate how both requirements can be met using the Boost libraries together with SystemC-AMS.  ...  That's why it becomes paramount to annotate each signal and parameter with its quantity type to reestablish the link and to be able to check the system model on the structural and equation level for consistency  ... 
doi:10.1109/bmas.2009.5338878 dblp:conf/bmas/MahneV09 fatcat:4je3yqldkjan5kh44pg3xzzcgy

Hierarchical Heterogeneous Specifications [chapter]

Sophie Coudert, Gilles Bernot, Pascale Le Gall
1999 Lecture Notes in Computer Science  
For example, substitutions solve implementation sharing of modules. Then, we show how proof mechanisms can be expressed inside our framework.  ...  Our proof system involves both the homogeneous inference relations associated to the logics of modules and property inheritance relations associated to the structuring primitives.  ...  the disjoint union [HST94] already pointed out that their proof search procedure was not complete for many-sorted equational logic and first-order logic with equality.  ... 
doi:10.1007/3-540-48483-3_8 fatcat:yct2enbb6jclbcqsqrwwpefcuq

Semi-automatic conversion from OSG to CityGML [article]

Pranjal Swarup
2021 arXiv   pre-print
The conversion of must allows mapping of classes of objects with a higher Level-Of-Detail (LOD) such as LOD3 and LOD4 which represent an urban city model in greater detail.  ...  There are several ways to generate 3D models for applications such as gaming, media content for movies and TV, and 3D printing among others.  ...  This is beneficial for two reasons, the first reason is that it allows the user to check if the entire region on the mesh is connected and the second reason is that if for some specific reasons like texture  ... 
arXiv:2109.14643v1 fatcat:3445k6rnwbdf3b3amiyeqfxij4

Simple continued fraction solutions for diophantine equations

R.A. Mollin
2001 Expositiones mathematicae  
This includes a simple device for finding fundamental solutions of such equations.  ...  We present elementary necessary and sufficient conditions for the solvability of the Diophantine equation x 2 -Dy 2 = n for any n E Z and any nonsquare integer D > 0, using only simple continued fraction  ...  Simple Continued Fraction Solutions for Diophantine Equations  ... 
doi:10.1016/s0723-0869(01)80015-3 fatcat:yv3f23nqgnavxkai2ejjmypmly

ZLang: A Scripting Language for Digital Content Creation Applications

Mohamed Yousef, Ahmed Hashem, Hassan Saad, Khaled Hussain
2012 International Journal of Computer Applications  
With time these languages developed into more mature languages and were used for more complex tasks (driving physics simulations, controlling particle systems, or even game engines).For long, these languages  ...  The engine provides geometric primitives, mesh modifiers, key-framed animation and Physics Simulations (Rigid Body, and Cloth Simulations).  ...  Modules can be either: statically linked with the interpreter, so that they are permanent part of the interpreter, or dynamically linked at runtime (the module is loaded at runtime upon request).  ... 
doi:10.5120/7770-0851 fatcat:k42dmqkmy5bbbnzo33m4b46kte

Asymptotic behaviors in the homology of symmetric group and finite general linear group quandles [article]

Eric Ramos
2017 arXiv   pre-print
As applications, we prove statements about the homology of these quandles, and construct FI-module and VIC(q)-module invariants of links.  ...  These structures have been studied extensively due to their connections with knot theory, algebraic combinatorics, and other fields.  ...  Acknowledgments The author is indebted to Jordan Ellenberg and Jennifer Wilson for many fruitful conversations during the conception of this work.  ... 
arXiv:1706.02809v2 fatcat:ituu2j3bdjf6tbxvbugfs6yhre

ESTELLE: a method to analyze automatically the performance of telecontrol protocols in SCADA systems

V. Medina, I. Gomez, J. Luque, S. Martin
2002 IEEE Transactions on Power Delivery  
Some specific primitives are added to the ESTELLE description language in order to achieve that goal. As an example, we analyze the performance of a telecontrol protocol.  ...  The control center goes on to the poll, the second remote, and so on, successively until it has contacted all the remotes on the link, at which time it starts over again with the first RTU.  ...  Three kinds of primitives have been added to the ESTELLE specifications, which are explained in detail in [18] . The first two are for the throughput, and the third one is for the message delays.  ... 
doi:10.1109/tpwrd.2002.1022793 fatcat:k724fi7c5zdtpifd2fsrwrtn2q

1-loop partition function in AdS 3/CFT 2

Bin Chen, Jie-qiang Wu
2015 Journal of High Energy Physics  
Each link is in one-to-one correspondence with the conjugacy class of the Schottky group of the Riemann surface.  ...  Moreover, the value of a link is determined by the eigenvalue of the element in the conjugate class. This allows us to reproduce exactly the gravitational 1-loop partition function.  ...  Acknowledgments We would like to thank Jiang Long for valuable discussions, thank A. Maloney, I. Zadeh for usual conversations and correspondence.  ... 
doi:10.1007/jhep12(2015)109 fatcat:iimtqbxysnhjvjuquazq6x76ly

Composition validation and subjectivity in GenVoca generators

D. Batory, B.J. Geraci
1997 IEEE Transactions on Software Engineering  
First, not all syntactically correct compositions of components are semantically correct.  ...  This mutability enables software systems with customized interfaces to be composed from components with "standardized" interfaces.  ...  Department of Defense Advanced Research Projects Agency in cooperation with the U.S. Wright  ... 
doi:10.1109/32.585497 fatcat:33spqnulgffzreowoa6lbxhetm

Total Haskell is reasonable Coq

Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
2018 Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018  
The source code also contains, as a comment, 80 lines of manual equational reasoning establishing the type class laws.  ...  One such instruction is to skip translating a module: skip module Outputable Similar instructions exist to skip functions, type classes, instances and type class methods; for example, the Util module  ... 
doi:10.1145/3167092 dblp:conf/cpp/Spector-Zabusky18 fatcat:yazpv47ixvaerk63v7zepb2q7i

Performance bounds for hybrid flow lines: Fundamental behavior, practical features and application to linear cluster tools

Kyungsu Park, James R. Morrison
2012 2012 IEEE International Conference on Automation Science and Engineering (CASE)  
For deterministic hybrid flow lines with multiple classes of customer and no overtaking, we develop upper bounds on the customer departure times.  ...  We use the flow lines as a starting point for the development of approximation models for a relatively new class of cluster tools with linear flow, called linear cluster tools.  ...  Here, we allow two possible types of link: a link with two process modules of different types (one must be followed by the other in the process sequence) and a link with two modules of the same process  ... 
doi:10.1109/coase.2012.6386460 dblp:conf/case/ParkM12 fatcat:gtdq6j7wfjfxdddpy6rfe6sgha

Development of a bond graph based model of computation for SystemC-AMS

Torsten Maehne, Alain Vachoux, Yusuf Leblebici
2008 2008 Ph.D. Research in Microelectronics and Electronics  
They integrate well with block diagrams describing the signal processing part of a system.  ...  The modelling and simulation capabilities of SystemC-AMS concerning conservative continuous time systems involving the interaction of several physical domains and with digital control components are currently  ...  In a first step, the "classic" bond graph primitives will be implemented.  ... 
doi:10.1109/rme.2008.4595729 fatcat:n2jouzm725hjjkucs7h5hwql4u

Guiding conceptual design through behavioral reasoning

Richard V. Welch, John R. Dixon
1994 Research in Engineering Design  
Behavioral reasoning breaks preconceived links between functions and artifacts, allowing for innovative solutions to be Jbund.  ...  This paper presents a model for conceptual design based on an explicit behavioral reasoning step to guide the design process.  ...  A behavioral reasoning model linking function and structure is presented in [Gero 91 ].  ... 
doi:10.1007/bf01607277 fatcat:l5oylxdqujcnpavbdsajl7mgze
« Previous Showing results 1 — 15 out of 21,991 results