作者: blight 時(shí)間: 2025-3-21 23:02 作者: 搖晃 時(shí)間: 2025-3-22 00:59 作者: 出生 時(shí)間: 2025-3-22 08:01
A Type-Safe Database Interface,system. It reviews the current practice in this area and summarizes the problems and limitations, and shows some solutions that were developed in response. The paper explains the benefits that Ada brings to the task of writing a high level SQL API.作者: 清醒 時(shí)間: 2025-3-22 10:10 作者: 變化無(wú)常 時(shí)間: 2025-3-22 16:39
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826449.jpg作者: 讓空氣進(jìn)入 時(shí)間: 2025-3-22 20:16
https://doi.org/10.1007/978-3-540-68624-8Ada; Ada programming language; UML; XML; concurrency modeling; dependable computing; distributed systems; e作者: 責(zé)任 時(shí)間: 2025-3-22 23:08 作者: 許可 時(shí)間: 2025-3-23 04:48 作者: BLANC 時(shí)間: 2025-3-23 08:53
On the Timed Automata-Based Verification of Ravenscar Systems,ks and in particular functional and timing verification using model checking. This paper presents an experiment in translating the Ravenscar fragment of Ada into the input language of a timed model checker (IF [7, 8]), discusses the difficulties and proposes solutions for most constructs supported b作者: Prophylaxis 時(shí)間: 2025-3-23 12:23 作者: 誘騙 時(shí)間: 2025-3-23 15:48 作者: Free-Radical 時(shí)間: 2025-3-23 20:46
A Modelling Approach with Coloured Petri Nets,e/software implementation. However, writing the formal specification starting from the textual description is not easy. An approach to this problem has been developed in the context of algebraic specifications [CR06], and was later adapted to Petri nets [CP04, CPR07]. Here, we show how such a method作者: creditor 時(shí)間: 2025-3-24 01:49
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets,ycle to support the construction of concurrent real time SW components. Design activities leverage on a pTPN specification of the set of concurrent timed tasks. This supports design validation through simulation and state space analysis, and drives disciplined coding based on conventional primitives作者: Notorious 時(shí)間: 2025-3-24 03:25
Concurrent Program Metrics Drawn by Quasar,rrent part of programs and produces data reporting its analysis process. We attempt to use the data as metrics for concurrent programming. The first aim of Quasar is the validation of concurrent code; in addition, the reported data may be relevant to mark the quality of code, to evaluate different c作者: carotid-bruit 時(shí)間: 2025-3-24 10:13
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM, and their specific features. Each language allows the programmer to define class inheritance hierarchies (including a limited form of multiple inheritance through “interfaces”) and to employ encapsulation, polymorphism, and dynamic binding. Whereas OOP forms the foundation of Java’s semantic model,作者: 受人支配 時(shí)間: 2025-3-24 10:49 作者: heart-murmur 時(shí)間: 2025-3-24 18:02 作者: 不在灌木叢中 時(shí)間: 2025-3-24 20:03 作者: Phenothiazines 時(shí)間: 2025-3-25 01:39
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integesign well before production. The parallel application of several different modeling tools in the design of separate parts of the same system is now a common industrial practice. The advantage of using several, domain-specific tools is however balanced by an increasing complexity in the integration 作者: 骯臟 時(shí)間: 2025-3-25 06:21
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions,se techniques typically require a staggering investment of time and manpower. There is also no guarantee that the multiple versions are correct or equivalent. This paper presents a novel approach that addresses the above problems, by automatically producing multiple, semantically equivalent copies f作者: 單純 時(shí)間: 2025-3-25 08:38 作者: Abominate 時(shí)間: 2025-3-25 12:45 作者: 含沙射影 時(shí)間: 2025-3-25 16:58
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs,s. Multi-threaded/parallel programs have many advantages but also introduce new types of errors that do not occur in purely sequential programs. Race conditions are one important class of these special problems because the effects of race conditions occur nondeterministically and range from incorrec作者: BRAVE 時(shí)間: 2025-3-25 20:23 作者: esculent 時(shí)間: 2025-3-26 03:18 作者: BRACE 時(shí)間: 2025-3-26 07:57 作者: 截?cái)?nbsp; 時(shí)間: 2025-3-26 11:41
A Modelling Approach with Coloured Petri Nets,s been developed in the context of algebraic specifications [CR06], and was later adapted to Petri nets [CP04, CPR07]. Here, we show how such a method, with precise and detailed guidelines, can be applied for writing modular coloured Petri nets. This is illustrated on a model railway case study, where modules are a key aspect.作者: 冷漠 時(shí)間: 2025-3-26 15:59 作者: Infelicity 時(shí)間: 2025-3-26 18:22
,StateML?+?: From Graphical State Machine Models to Thread-Safe Ada Code,ling capabilities, which include regions and macro-state definition. In this paper, a case study regarding the design of a robotic system will be used to demonstrate the benefits of the proposed approach.作者: 傲慢人 時(shí)間: 2025-3-26 22:04
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives,nce knowledge of the number of threads that can access the queue, our new algorithm improves on previously proposed algorithms in that it does not re quire any special instruction other than a load-linked/store-conditional atomic instruction operating on pointer-wide number of bits.作者: gangrene 時(shí)間: 2025-3-27 03:20 作者: 分期付款 時(shí)間: 2025-3-27 08:12
Increasing Confidence in Concurrent Software through Architectural Analysis, behave as desired, we have developed an approach to augment UML-based software designs with colored Petri nets, thus increasing the analytical capabilities at design time. An illustration of this approach using a rover control case study is included in this paper.作者: FLING 時(shí)間: 2025-3-27 11:41 作者: AV-node 時(shí)間: 2025-3-27 14:31 作者: 低位的人或事 時(shí)間: 2025-3-27 20:45
Conference proceedings 2008endid venue of Venice. It did so after having been hosted twice in Switzerland, Spain and the UK (Montreux for its inauguration in 1996 and Geneva in 2007; Santander in 1999 and Palma de Mallorca in 2004; London in 1997 and York in 2005), and having visited Sweden (Uppsala, 1998), Germany (Potsdam, 作者: 廣告 時(shí)間: 2025-3-28 01:42
A New Approach to Memory Partitioning in On-Board Spacecraft Software, alternative approaches are discussed in the paper, based on some features of Ada and state-of-the art compilation tool-chains. Both approaches provide safe memory partitioning with less overhead than current IMA techniques. Some footprint and performance metrics taken on a prototype implementation of the most flexible approach are included.作者: Infraction 時(shí)間: 2025-3-28 05:23
Design and Development of Component-Based Embedded Systems for Automotive Applications,d methodologies, including existing or upcoming standards, such as the MARTE UML profile, ADL languages and AUTOSAR. Finally, the paper provides a quick glance at results on a methodology based on virtual platforms and timing analysis to perform the exploration and selection of architecture solutions.作者: Admonish 時(shí)間: 2025-3-28 07:44 作者: 軟膏 時(shí)間: 2025-3-28 10:27
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness,t message and time complexities, and lower overhead and superior timeliness properties than past thread scheduling algorithms. Our experimental studies validate our theoretical results, and illustrate the algorithm’s effectiveness.作者: 試驗(yàn) 時(shí)間: 2025-3-28 16:05 作者: Camouflage 時(shí)間: 2025-3-28 21:25 作者: evanescent 時(shí)間: 2025-3-29 02:34 作者: Suggestions 時(shí)間: 2025-3-29 05:42
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM,o capture the functionality of exception handling, multi-threading, enumeration types, and other facilities that are not necessarily related to object orientation. Ada supplies specific features for such functionality, independent of its OO model. Java is oriented towards manipulating dynamic data s作者: hypertension 時(shí)間: 2025-3-29 09:40 作者: 生命層 時(shí)間: 2025-3-29 12:31
Conference proceedings 2008munity around all aspects of reliable software technologies. The success of this year’s conference, beside the richness of its technical and social program, will thus be measured by its lasting effects. We can only hope that the latter will be as good and vast as the former! Owing to the absence of 作者: 幾何學(xué)家 時(shí)間: 2025-3-29 16:33 作者: congenial 時(shí)間: 2025-3-29 22:50
Claude Evéquozinvestigation, Bakan supplies an illuminating discussion of what it means to interpret. Taken from the viewpoint that interpretation involves an u978-1-4899-9692-3978-1-4614-0637-2Series ISSN 1574-048X 作者: affluent 時(shí)間: 2025-3-30 02:42 作者: maroon 時(shí)間: 2025-3-30 04:22 作者: 夾克怕包裹 時(shí)間: 2025-3-30 09:58 作者: antipsychotic 時(shí)間: 2025-3-30 16:12 作者: Pcos971 時(shí)間: 2025-3-30 18:23
Raul Fechete,Georg Kienesberger,Johann Bliebergerinvestigation, Bakan supplies an illuminating discussion of what it means to interpret. Taken from the viewpoint that interpretation involves an u978-1-4899-9692-3978-1-4614-0637-2Series ISSN 1574-048X 作者: cortex 時(shí)間: 2025-3-31 00:01 作者: Intercept 時(shí)間: 2025-3-31 02:48 作者: 密切關(guān)系 時(shí)間: 2025-3-31 07:40
Diego Alonso,Cristina Vicente-Chicote,Juan A. Pastor,Bárbara álvarezious identification with it. Completing her review of the Greek myth of origins, the author looks at the myth of Gaia, the ideal mother who forms a perfect and exclusive union with her child, which permits partial fulfilment of the timeless wish to refind something which is, in reality, lost forever作者: 緊張過(guò)度 時(shí)間: 2025-3-31 11:01
Matteo Bordin,Thanassis Tsiodras,Maxime Perrotinanation. The first principle surely represents one of the most important discoveries ever made in the human sciences. The second seems, on the contrary, for reasons which I have already given,. to be almost entirely superstitious; due to an attempt to reconcile a great discovery with erroneous belie作者: neuron 時(shí)間: 2025-3-31 15:48 作者: MARS 時(shí)間: 2025-3-31 18:14 作者: GLEAN 時(shí)間: 2025-4-1 00:09 作者: 苦澀 時(shí)間: 2025-4-1 05:51 作者: CHOP 時(shí)間: 2025-4-1 09:04
Irfan Hamid,Elie Najmtury science.Special feature on the selection of bookplates This book presents new insights into Freud’s famous “discovery” of the unconscious and the subsequent development of psychoanalytic theories.The authors explorethe original context in which these ideas arose and the central debate about min作者: plasma 時(shí)間: 2025-4-1 13:43 作者: intimate 時(shí)間: 2025-4-1 16:08 作者: Introvert 時(shí)間: 2025-4-1 22:30
Laura Carnevali,Leonardo Grassi,Enrico Vicariotury science.Special feature on the selection of bookplates This book presents new insights into Freud’s famous “discovery” of the unconscious and the subsequent development of psychoanalytic theories.The authors explorethe original context in which these ideas arose and the central debate about min作者: 入伍儀式 時(shí)間: 2025-4-2 02:20
