標(biāo)題: Titlebook: Mathematics of Program Construction; 11th International C Jeremy Gibbons,Pablo Nogueira Conference proceedings 2012 Springer-Verlag Berlin [打印本頁] 作者: IU421 時(shí)間: 2025-3-21 18:12
書目名稱Mathematics of Program Construction影響因子(影響力)
書目名稱Mathematics of Program Construction影響因子(影響力)學(xué)科排名
書目名稱Mathematics of Program Construction網(wǎng)絡(luò)公開度
書目名稱Mathematics of Program Construction網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematics of Program Construction被引頻次
書目名稱Mathematics of Program Construction被引頻次學(xué)科排名
書目名稱Mathematics of Program Construction年度引用
書目名稱Mathematics of Program Construction年度引用學(xué)科排名
書目名稱Mathematics of Program Construction讀者反饋
書目名稱Mathematics of Program Construction讀者反饋學(xué)科排名
作者: Interregnum 時(shí)間: 2025-3-21 20:25
The Geometry of Synthesisges. Such languages are generally recognised as more accessible than hardware description languages, and it is expected that their use would significantly increase design productivity. The Geometry of Synthesis is a new hardware compilation technique which achieves this goal in a semantic-directed f作者: IDEAS 時(shí)間: 2025-3-22 02:57
Scheduler-Independent Declassificationing languages. In this article, we aim at guaranteeing the security of concurrent programs. We propose the novel security property WHAT&WHERE that allows one to limit what information may be declassified where in a program. We show that our property provides adequate security guarantees independent 作者: Debrief 時(shí)間: 2025-3-22 08:26 作者: 送秋波 時(shí)間: 2025-3-22 09:25
Scheduling and Buffer Sizing of n-Synchronous Systemsmputes static schedules of the processes and the sizes of the buffers between them..In this article, we present a new algorithm which solves the subtyping constraints generated by the clock calculus. The advantage of this algorithm is that it finds schedules for tightly coupled systems. Moreover, it作者: keloid 時(shí)間: 2025-3-22 13:35
Deriving Real-Time Action Systems Controllers from Multiscale System Specificationsies. To this end, we incorporate the theory of time bands into action systems, which allows one to structure a system into multiple abstractions of time. The framework includes a logic that facilitates reasoning about different types of sampling errors and transient properties (i.e., properties that作者: 卜聞 時(shí)間: 2025-3-22 19:43
Calculating Graph Algorithms for Dominance and Shortest Patht path problem. Both algorithms are calculated directly from the definition of the properties by . of (1) a least fixed point expressing all finite paths through a directed graph and (2) Galois connections that capture dominance and path length..The approach illustrates that reasoning in the style o作者: 冷峻 時(shí)間: 2025-3-23 00:26 作者: 作嘔 時(shí)間: 2025-3-23 03:50 作者: filial 時(shí)間: 2025-3-23 07:01
Unifying Correctness Statementsions. Algebras structure this diversity of models to avoid the repeated development of similar theories and to clarify their range of application. We introduce algebras that uniformly describe correctness statements, correctness calculi, pre-post specifications and loop refinement rules in five kind作者: 灌輸 時(shí)間: 2025-3-23 10:40 作者: Popcorn 時(shí)間: 2025-3-23 17:03
An Algebraic Calculus of Database Preferencesing user wishes by preference terms; they represent strict partial orders telling which database objects the user prefers over other ones. There are a number of constructors that allow combining simple preferences into quite complex, nested ones. A preference term is then used as a database query, a作者: debris 時(shí)間: 2025-3-23 18:14 作者: Myosin 時(shí)間: 2025-3-24 01:16 作者: keloid 時(shí)間: 2025-3-24 05:56 作者: 物種起源 時(shí)間: 2025-3-24 09:10
utions into quasi-periodic solutions with more frequencies. The simplest case is the bifurcation of periodic solutions from steady solutions. The next hardest problem is the bifurcation of quasi-periodic solutions from basic time periodic solutions of fixed frequency. This problem is treated in the 作者: emission 時(shí)間: 2025-3-24 14:14 作者: acrophobia 時(shí)間: 2025-3-24 17:44 作者: Alpha-Cells 時(shí)間: 2025-3-24 21:26 作者: 無脊椎 時(shí)間: 2025-3-24 23:48
Alexander Lux,Heiko Mantel,Matthias Pernerssonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: 向前變橢圓 時(shí)間: 2025-3-25 05:33
Carroll Morganssonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: 整頓 時(shí)間: 2025-3-25 08:57
Louis Mandel,Florence Plateaussonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: 猛烈責(zé)罵 時(shí)間: 2025-3-25 14:49
Brijesh Dongol,Ian J. Hayesssonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: 喊叫 時(shí)間: 2025-3-25 17:21 作者: Crayon 時(shí)間: 2025-3-25 20:10 作者: 的是兄弟 時(shí)間: 2025-3-26 03:01
Han-Hing Dang,Bernhard M?llerssonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: mutineer 時(shí)間: 2025-3-26 07:15
Walter Guttmannssonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: moribund 時(shí)間: 2025-3-26 11:08
Alasdair Armstrong,Simon Foster,Georg Struthssonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: dithiolethione 時(shí)間: 2025-3-26 14:12 作者: Defraud 時(shí)間: 2025-3-26 19:24
Patrick Bahrssonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: Armada 時(shí)間: 2025-3-26 22:09 作者: progestogen 時(shí)間: 2025-3-27 04:47 作者: 女上癮 時(shí)間: 2025-3-27 08:21
ssonthetreatmentofwell-setpr- lemsofnonlinearsolidmechanics. Themainpurposesofthissecondedition are to update the ?rst edition by giving a coherent account of some of the new developments, to correct errors, and to re?ne the exposition. Much of the text has been rewritten, reorganized, and extended.作者: AMBI 時(shí)間: 2025-3-27 09:39
Jeremy Gibbons,Pablo NogueiraState-of-the-art research.Fast-track conference proceedings.Unique visibility作者: EXPEL 時(shí)間: 2025-3-27 13:47 作者: 一美元 時(shí)間: 2025-3-27 21:45 作者: 津貼 時(shí)間: 2025-3-28 01:40
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs.. The goal of provable security is to verify rigorously the security of cryptographic systems. A provable security argument proceeds in three steps:作者: seduce 時(shí)間: 2025-3-28 06:09
https://doi.org/10.1007/978-3-642-31113-0Haskell; automated theorem proving; formal methods; graph algorithms; probabilistic logics作者: 宣稱 時(shí)間: 2025-3-28 08:39
978-3-642-31112-3Springer-Verlag Berlin Heidelberg 2012作者: nutrients 時(shí)間: 2025-3-28 10:30
Mathematics of Program Construction978-3-642-31113-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: REP 時(shí)間: 2025-3-28 16:40 作者: Catheter 時(shí)間: 2025-3-28 22:29
First-Past-the-Post Gamesw how to use the equations in languages to calculate the probability of winning. The formula generalises a formula due to John H. Conway for the original Penney-Ante game. At no point in our analysis do we use generating functions. Even so, we are able to calculate probabilities and expected values.作者: braggadocio 時(shí)間: 2025-3-29 02:30 作者: intelligible 時(shí)間: 2025-3-29 07:00
lutions with small amplitudes are unstable..When the Floquet exponents at criticality are complex and rationally independent of the fixed frequency, the solution of the spectral problem is quasi-periodic. The formal construction then gives the natural frequency of the bifurcating solution as a power作者: 高談闊論 時(shí)間: 2025-3-29 09:38
Gilles Barthe,Benjamin Grégoire,Santiago Zanella Béguelinlutions with small amplitudes are unstable..When the Floquet exponents at criticality are complex and rationally independent of the fixed frequency, the solution of the spectral problem is quasi-periodic. The formal construction then gives the natural frequency of the bifurcating solution as a power作者: 地牢 時(shí)間: 2025-3-29 12:28 作者: Malcontent 時(shí)間: 2025-3-29 15:50
Dan R. Ghicas a vertical load of constant intensity per horizontal distance. (The string does not correspond to the bridge, but to the wires from which it is suspended.) The problem of the . is to determine these states when the applied force is a normal pressure of constant intensity. In the related problem of作者: ATOPY 時(shí)間: 2025-3-29 19:59 作者: 媽媽不開心 時(shí)間: 2025-3-30 00:32 作者: Adjourn 時(shí)間: 2025-3-30 06:48 作者: 蝕刻 時(shí)間: 2025-3-30 11:36 作者: amygdala 時(shí)間: 2025-3-30 13:27 作者: Defense 時(shí)間: 2025-3-30 18:14
Roland Backhouseaders having the traditional prerequisites given in Sec. 1.2. I welcome corrections and comments, which can be sent to my electronic mail address: ssa@math.umd.edu. In due time, corrections will be placed on my web page: http://www.ipst.umd.edu/Faculty/antman.htm.978-0-387-27649-6Series ISSN 0066-5452 Series E-ISSN 2196-968X 作者: oxidize 時(shí)間: 2025-3-30 21:38 作者: compassion 時(shí)間: 2025-3-31 02:49
