作者: 名義上 時(shí)間: 2025-3-21 23:50 作者: URN 時(shí)間: 2025-3-22 04:03
Francisco Ortiz,Diego Alonso,Bárbara álvarez,Juan A. Pastorelops a new theoretical practice of reading Engels’ dialectiReading different or controversial intentions into Marx and Engels’ works has been a common but somewhat unquestioned practice in the history of Marxist scholarship. Engels’ .Dialectics of Nature., a torso for some and a great book for othe作者: 是貪求 時(shí)間: 2025-3-22 05:07 作者: 越自我 時(shí)間: 2025-3-22 09:15 作者: 對待 時(shí)間: 2025-3-22 15:16 作者: Negligible 時(shí)間: 2025-3-22 20:16
Thomas Vergnaud,Laurent Pautet,Fabrice Kordonifts between seeing such states as semi-autonomous, as instruments of a particular class in power, or as shaped by that class. Engels often moves between these three overlapping approaches, but in more detailed work he opts for the third: the class in power determines the nature of the state. This i作者: foreign 時(shí)間: 2025-3-23 00:40
Diyaa-Addein Atiya,Steve King “second fiddle” in the Marxist orchestra. The nineteen critical essays in this collection are the work of scholars from Germany, USA, UK, Italy, China, India, Mexico and the Philippines. Together they present and evaluate archival material and scholarly commentary that covers epistemology, politica作者: CHART 時(shí)間: 2025-3-23 04:54 作者: 免除責(zé)任 時(shí)間: 2025-3-23 05:36
Ricky E. Sward,Leemon C. Baird IIIlinary topics.Accesses German-language sources and scholarly.This edited volume presents an interdisciplinary and international revaluation of Friedrich Engels as much more than “junior partner” to Karl Marx or “second fiddle” in the Marxist orchestra. The nineteen critical essays in this collection作者: 抱怨 時(shí)間: 2025-3-23 13:03 作者: 賭博 時(shí)間: 2025-3-23 17:08
Benjamin M. Brosgollinary topics.Accesses German-language sources and scholarly.This edited volume presents an interdisciplinary and international revaluation of Friedrich Engels as much more than “junior partner” to Karl Marx or “second fiddle” in the Marxist orchestra. The nineteen critical essays in this collection作者: Rebate 時(shí)間: 2025-3-23 18:13 作者: Gorilla 時(shí)間: 2025-3-24 00:47 作者: 純樸 時(shí)間: 2025-3-24 04:23
P. Rogers,A. J. Wellings245). Die junge Dichtergeneration des Sturm und Drang und G?ttinger Hain begrü?te dagegen . als ?Die Einzige Poetick aller Zeiten und V?lcker? (Goethe an Sch?nborn, 10.6.1774, Goethe 1985ff., XXVIII, 377). Ob Goethe mit ?Poetik? das gesamte Werk meint oder die speziell auf Dichtung bezogenen Teile w作者: 空氣 時(shí)間: 2025-3-24 08:34 作者: 放氣 時(shí)間: 2025-3-24 10:52 作者: insert 時(shí)間: 2025-3-24 16:09 作者: AMITY 時(shí)間: 2025-3-24 20:51
Smart Certification of Mixed Criticality Systemsr describes the novel use of static analysis to provide a robust segregation of differing criticality levels, thus allowing appropriate verification techniques to be applied at the subprogram level. We call this fine-grained matching of verification level to subprogram criticality ..作者: 債務(wù) 時(shí)間: 2025-3-25 00:43 作者: 貝雷帽 時(shí)間: 2025-3-25 04:20 作者: 貴族 時(shí)間: 2025-3-25 11:08
Efficient Alternatives for Implementing Fixed-Priority Schedulerses used in several open real-time kernels that supports Ada language. Additionally, a new data structure, the ., is proposed. As a conclusion, the preliminary studies show that alternative data structures, as proposed Cartesian trees, can improve the scalability of the system strongly reducing the scheduling overheads.作者: biosphere 時(shí)間: 2025-3-25 12:10
Using the AADL to Describe Distributed Applications from Middleware to Software Componentsc architecture as a canonical solution to these concerns.We study how to describe the middleware architecture using the AADL. We also study how the AADL can be used to aggregate the different aspects of the modeling of a complete system: architecture, behavioral descriptions, deployment, etc.作者: 官僚統(tǒng)治 時(shí)間: 2025-3-25 18:05 作者: 情節(jié)劇 時(shí)間: 2025-3-25 21:27
Dynamic Tasks Verification with ,ling and the QUASAR techniques is highlighted by the analysis of two non-trivial Ada programs. The large reduction factor between the initial and final state numbers of these program models shows that the state explosion can be limited, making automatic validation of dynamic concurrent programs feasible.作者: 相同 時(shí)間: 2025-3-26 01:02
Teaching Software Engineering with Ada?95ristics of the projects and the applied development processes in terms of statistics. Finally, we report on the lessons we learnt when supervising the students and give recommendations for successful software projects with Ada95 in education.作者: 颶風(fēng) 時(shí)間: 2025-3-26 04:57 作者: 連詞 時(shí)間: 2025-3-26 11:34 作者: inhumane 時(shí)間: 2025-3-26 14:08
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicleure (ACROSET) for the development of these systems that takes into account the current advances in robotic architectures while adopting the component-oriented approach. The architecture is currently being used, tested and improved in the development of an heterogeneous family of robots in the contex作者: 破布 時(shí)間: 2025-3-26 19:00 作者: 調(diào)整 時(shí)間: 2025-3-26 22:03 作者: 欲望小妹 時(shí)間: 2025-3-27 05:01
A New Strategy for the HRT-HOOD to Ada Mapping been gained into the practical use of Ada?95 for high-integrity applications, of which the Ravenscar Profile is a notable emanation. In this paper we present a new HRT-HOOD to Ada mapping strategy, which aims to overcome the shortcomings we noted in the original one, by leveraging on the better und作者: 協(xié)迫 時(shí)間: 2025-3-27 08:20
Using the AADL to Describe Distributed Applications from Middleware to Software Componentsrchitecture description languages (ADLs) such as the AADL provide adequate syntax and semantics to express all those properties on each component of a system. DRE systems rely on a key component, the middleware, to address distribution issues. In order to build efficient and verifiable systems, the 作者: Cougar 時(shí)間: 2025-3-27 12:25 作者: Missile 時(shí)間: 2025-3-27 14:43 作者: 剛毅 時(shí)間: 2025-3-27 19:21
Proving Functional Equivalence for Program Slicing in SPARKTMtool that extracts program slices from SPARK procedures and proves that the functionality of the original procedure is equivalent to the functionality of the collection of resulting slices. By showing that the effects of the SPARK statements in the collection of slices has the same effect on the inp作者: 沙發(fā) 時(shí)間: 2025-3-28 01:21 作者: 蝕刻術(shù) 時(shí)間: 2025-3-28 04:02
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTMatter case the sharing needs to be implemented by some mechanism that ensures mutually exclusive access, or possibly “concurrent read / exclusive write”. Ada and the Real-Time Specification for Java have taken different approaches to mutual exclusion. This paper analyzes and compares them with respe作者: micronutrients 時(shí)間: 2025-3-28 09:34 作者: 史前 時(shí)間: 2025-3-28 13:34
Non-intrusive System Level Fault-Tolerance faults that remain in software after system design and development behave like hardware transient faults: they appear, do the damage and disappear. The conventional approach used for handling task overruns caused by transient faults is to use a single recovery task that implements minimal functiona作者: DAUNT 時(shí)間: 2025-3-28 17:50 作者: SPURN 時(shí)間: 2025-3-28 19:59 作者: Surgeon 時(shí)間: 2025-3-29 00:54
Distributing Criticality Across Ada Partitionsuaranteed, whereas tasks with soft requirements may miss some deadlines with no harmful consequences. One possibility to organise such systems is to run the critical tasks in the kernel space, at the highest priority available, while executing the soft tasks in user space, where they will use the re作者: 相互影響 時(shí)間: 2025-3-29 07:05 作者: entrance 時(shí)間: 2025-3-29 09:34
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasksfor Ada tasks in a way compatible with the scheduling model defined in the real-Time Annex of the language. Each application scheduler was implemented with a special task. This paper presents a new implementation in which the application scheduler actions are executed as part of the kernel on which 作者: fleeting 時(shí)間: 2025-3-29 11:33 作者: 輕打 時(shí)間: 2025-3-29 17:47 作者: LITHE 時(shí)間: 2025-3-29 21:18
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTMct to programming style (clarity, encapsulation, avoidance of errors such as deadlock), priority inversion management, expressibility/generality, and efficiency. It also looks at interactions with exceptions and asynchronous transfer of control.作者: Diuretic 時(shí)間: 2025-3-29 23:55 作者: 噱頭 時(shí)間: 2025-3-30 07:25 作者: Affirm 時(shí)間: 2025-3-30 10:57
0302-9743 ously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the ?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, Yor作者: Adulate 時(shí)間: 2025-3-30 16:00
Conference proceedings 2005for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the ?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hos作者: 熱烈的歡迎 時(shí)間: 2025-3-30 19:18
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826465.jpg作者: HEDGE 時(shí)間: 2025-3-30 22:47 作者: 火花 時(shí)間: 2025-3-31 03:55 作者: 刪除 時(shí)間: 2025-3-31 07:05
978-3-540-26286-2Springer-Verlag Berlin Heidelberg 2005作者: incredulity 時(shí)間: 2025-3-31 11:31
Reliable Software Technology – Ada-Europe 2005978-3-540-31666-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: fidelity 時(shí)間: 2025-3-31 15:40
