標題: Titlebook: High-Level System Modeling; Specification and De Ronald Waxman,Jean-Michel Bergé,Jacques Rouillard Book 1996 Kluwer Academic Publishers 199 [打印本頁] 作者: HAG 時間: 2025-3-21 20:02
書目名稱High-Level System Modeling影響因子(影響力)
書目名稱High-Level System Modeling影響因子(影響力)學科排名
書目名稱High-Level System Modeling網(wǎng)絡公開度
書目名稱High-Level System Modeling網(wǎng)絡公開度學科排名
書目名稱High-Level System Modeling被引頻次
書目名稱High-Level System Modeling被引頻次學科排名
書目名稱High-Level System Modeling年度引用
書目名稱High-Level System Modeling年度引用學科排名
書目名稱High-Level System Modeling讀者反饋
書目名稱High-Level System Modeling讀者反饋學科排名
作者: Coordinate 時間: 2025-3-21 22:28
Current Issues in Electronic Modelinghttp://image.papertrans.cn/h/image/426627.jpg作者: innate 時間: 2025-3-22 01:43
A Novel Approach to Guiding Incremental Specification,tput waveforms. Since this leads to an incompletely specified finite automaton several different finite automata may reproduce the specified behaviour. This freedom is exploited to guide the designer. Intelligent questions are created from a graph—based representation of the automata.作者: Admonish 時間: 2025-3-22 08:21 作者: 忍受 時間: 2025-3-22 12:10
978-1-4612-8561-8Kluwer Academic Publishers 1996作者: Confound 時間: 2025-3-22 15:20 作者: agnostic 時間: 2025-3-22 19:04
1381-3951 erate - from a user‘s viewpoint)...Linking non-functional parameters with specification models...Hybrid modeling (linking performance and functional elements)..978-1-4612-8561-8978-1-4613-1309-0Series ISSN 1381-3951 作者: 消散 時間: 2025-3-22 22:32
ur LP has exponentially many variables, therefore we need a separation oracle for the dual LP. This separation oracle is an instance of Neighborhood Prize Collecting Steiner Tree (NPCST) problem in which we want to find a tree with weight at most . collecting the maximum profit from the clients by v作者: 安慰 時間: 2025-3-23 03:30
Jean-Paul Calvez loser-independent algorithms can be employed as sub-procedures in a greedy iterative packing approach while preserving monotonicity. A greedy iterative approach provides a good approximation in the context of maximizing a non-decreasing submodular function subject to independence constraints. Our f作者: 赤字 時間: 2025-3-23 05:33
Sanjaya Kumar,Robert H. Klenke,James H. Aylor,Barry W. Johnson,Ronald D. Williams,Ronald Waxmanof dedicating the least amount of the currently available network capacity for protection, while guaranteeing fast restoration to the existing traffic along with any traffic that may be admitted in the future. We show that the problem is NP-hard, and give a 2-approximation algorithm for the problem.作者: 脆弱吧 時間: 2025-3-23 12:38
Wolfgang Ecker,Michael Hofmeister,Sabine M?rz-R?sselfirst one in which the preimages of each terminal are connected in .. Moreover, this result extends to minor-closed families of graphs..Our bounds immediately imply improved approximation guarantees for several terminal-based cut and ordering problems.作者: 背叛者 時間: 2025-3-23 15:53
Thomas Gabler,Sabine M?rz-R?sseld the . of the pair. The goal is to find the smallest subgraph .?=?(.,.) of . in which every pair of vertices .,. is connected by a path contained in .(.,.). We show that the iBGP problem can be reduced to the special case of Constrained Connectivity where .?=?... Furthermore, we believe that Constr作者: evasive 時間: 2025-3-23 21:30 作者: NAG 時間: 2025-3-23 23:04 作者: 松軟 時間: 2025-3-24 03:36
h?hung der Laufzeit ?gutartig“ zueinander verhalten. Diese überlegung führt zum Begriff des .. Wir stellen in diesem Kapitel ein solches Approximationsschema für Rucksack vor und beschlie?en es damit zu beweisen, da? es zu den Optimierungsproblemen mit sog. stark NP-vollst?ndigen Entscheidungsvarian作者: 畢業(yè)典禮 時間: 2025-3-24 08:28
Book 1996/data modeling, behavior modeling, and activitymodeling). ..Operational specification modeling (modeling the waythe system is supposed to operate - from a user‘s viewpoint)...Linking non-functional parameters with specification models...Hybrid modeling (linking performance and functional elements)..作者: upstart 時間: 2025-3-24 14:44 作者: Lignans 時間: 2025-3-24 17:58
Adept: A Unified Environment for end-to-end System Design,ement of system level models into implementation level models. Work is also being conducted in the areas of operational specification modeling and hardware/software codesign..ADEPT generates 1076 VHDL and currently runs on any hardware platform that supports Mentor Graphics’ Design Architect (DA), a作者: 能得到 時間: 2025-3-24 22:51 作者: ADORN 時間: 2025-3-25 02:32
An Expert Assistant for Hardware Systems Specification, of designs previously specified within the MODES environment. Thereby, the Module Manager allows them to be reused, hence ensuring their generic nature. This paper focuses on the architecture and the mechanisms of the Module Manager.作者: 文藝 時間: 2025-3-25 07:06
1381-3951 with the ability to incrementally `test‘ an evolving designagainst a model of a specification. Such high-level models may dealwith areas such as performance, reliability, availability,maintainability, and system safety. Abstract models also allowexploration of the hardware versus software design spa作者: 顯而易見 時間: 2025-3-25 10:01
Book 1996bility to incrementally `test‘ an evolving designagainst a model of a specification. Such high-level models may dealwith areas such as performance, reliability, availability,maintainability, and system safety. Abstract models also allowexploration of the hardware versus software design space in anin作者: 冰河期 時間: 2025-3-25 13:42 作者: 名字的誤用 時間: 2025-3-25 19:06
Jean-Paul Calveze. A fundamental question is whether an .-approximation algorithm translates into an .-approximate truthful mechanism. It is well-known that plugging an .-approximation algorithm into the VCG technique may not yield a truthful mechanism. Thus, it is natural to investigate properties of approximation作者: hemophilia 時間: 2025-3-25 21:46
Sanjaya Kumar,Robert H. Klenke,James H. Aylor,Barry W. Johnson,Ronald D. Williams,Ronald Waxmanre set-up a priori and network resources are pre-reserved exclusively for carrying rerouted traffic under network failures. (i.e. they do not carry any traffic under normal working conditions). The detours are such that failed links can be bypassed locally from the first node that is upstream from t作者: 能夠支付 時間: 2025-3-26 00:45
Wolfgang Ecker,Michael Hofmeister,Sabine M?rz-R?ssely) flow between the terminals in . could be supported in . with low congestion, and vice versa? (Such a graph . is called a . for ..) What if we want . to be a “simple” graph? What if we allow . to be a convex combination of simple graphs?.Improving on results of Moitra [FOCS 2009] and Leighton and 作者: Synovial-Fluid 時間: 2025-3-26 06:44
Thomas Gabler,Sabine M?rz-R?ssel(AS) in the Internet subject to a natural notion of correctness derived from the standard “hot-potato” routing rules. For both natural versions of the problem (where we measure the size of an overlay by either the number of edges or the maximum degree) we prove that it is NP-hard to approximate to a作者: 領帶 時間: 2025-3-26 09:25
Laurent Chaouat,Alain Vachoux,Daniel Mlyneks in ... The goal is to compute the .. of ., denoted by ..(.), which is the minimum, over all (.-.)-dimensional flats ., of max ..(.,.), where .(.,.) is the Euclidean distance between the point . and flat .. Computing the radii of point sets is a fundamental problem in computational convexity with s作者: SLING 時間: 2025-3-26 15:46
Luis Sánchez Fernández,Natividad Martínez Madrid,Carlos Delgado Kloosremental code is an ordered vector of elements each of whose prefixes is a good regular code (of the corresponding rate). Additionally, while the quality of a regular code is measured by its minimum distance, we measure the quality of an incremental code . by its .: the minimum distance of . prefix 作者: Meander 時間: 2025-3-26 20:31 作者: Fsh238 時間: 2025-3-27 00:48
A System Specification Model and Method,e system development life cycle is useful to formally express what the system must do. The resulting specification document includes functional and non-functional specifications..After an overview of the whole development process, the meaning and objective of a specification is explained. Among many作者: 啜泣 時間: 2025-3-27 02:21
Adept: A Unified Environment for end-to-end System Design,entation. A tool called ADEPT (Advanced Design Environment Prototyping Tool) has been developed to implement this environment. ADEPT supports both system level performance and reliability analysis in a common design environment using a collection of predefined library elements, called ADEPT modules.作者: Cirrhosis 時間: 2025-3-27 08:55 作者: Optometrist 時間: 2025-3-27 09:41 作者: 殺子女者 時間: 2025-3-27 17:31 作者: optional 時間: 2025-3-27 21:45
Integrating Non-Functional Aspects Into Lotos,e have called X-LOTOS, describes both the behaviour of a distributed system and the design requirements. Measures and estimates of the system and its components can be “back-annotated” to the specification. X-LOTOS supports the design cycle for a system by incorporating functional and non-functional作者: 恃強凌弱 時間: 2025-3-28 01:00 作者: 去掉 時間: 2025-3-28 02:11 作者: 即席 時間: 2025-3-28 08:49 作者: Bombast 時間: 2025-3-28 12:57
Introduction to Victorian Poverty Studies,eans to oatmeal, its obsession with dirt, and its blithe assumptions about intemperance, it sounds like the voice of a long dead world. Closer acquaintance, however, reveals very modern concerns: the emergence of an unemployable urban underclass, the effect of inadequate parenting on slum children,
