检索结果-内蒙古大学图书馆

An ontology-based approach towards comprehensive workflow modelling

IET SOFTWARE 2014年第2期8卷 73-85页

作者： Koukovini, Maria N. Papagiannakopoulou, Eugenia I. Lioudakis, Georgios V. Dellas, Nikolaos Kaklamani, Dimitra I. Venieris, Iakovos S. Natl Tech Univ Athens Sch Elect & Comp Engn GR-15773 Athens Greece SingularLogic SA Al Panagouli Siniosogl 14234 N Ionia Greece

In recent years, several mature workflow modelling technologies have emerged. Nevertheless, they all present certain expressiveness limitations concerning primarily two aspects: first, none of them manages to adequately capture all three core workflow perspectives, that is, control, data and resource;further, they typically are either data-centric or control flow oriented, being, therefore incapable of supporting domains that involve both execution patterns. In light of these issues, this study describes an innovative, highly expressive framework for workflow modelling, guided by the flexibility by design principle. Main characteristics of the proposed approach include the following: (i) it enables the comprehensive specification of workflow elements, providing extensive coverage of all aforementioned perspectives;(ii) it introduces the novel concept of assets, as a means for representing the entities being subject to the execution of workflow tasks;(iii) workflows are defined as ontologies;this, apart from the inherent benefits regarding formal semantics, offers also the advantage of their direct and transparent integration with an ontological information model;(iv) it allows the explicit modelling of both control and data flows, thus being suitable for applications based on either of them or both of them combined;and (v) its expressiveness provides for the in-design expression of sophisticated security constraints.

关键词： data flow computing ontologies (artificial intelligence) workflow management software ontology-based approach comprehensive workflow modelling core workflow perspectives flexibility by design principle formal semantics ontological information model control flow data flow in-design expression sophisticated security constraints

来源：评论

学校读者我要写书评

暂无评论

Virtual meetings with desktop conferencing

引用

IEEE SPECTRUM 1998年第7期35卷 47-56页

作者： Dutta-Roy, A

To many managers and engineers who take part in virtual workgroup meetings, teleconferencing involves data sharing and audio, usually with slow-motion video. Their virtual meetings boil down to collaborative computing on desktop or laptop computers. Teleconferencing, or desktop conferencing, of this kind is best suited for individual computer users or for groups of 3-4 users per computer. For virtual but routine business conferences or for virtual classrooms-at-a-distance, real-life situations are best emulated by sharing data or still images, plus audio. data-sharing technologies, and the virtual conference systems built around them, have begun gaining ground. The remote sharing of data and video from a number of points requires software on a central server. Embedded in the software is a multipoint control unit, itself a software algorithm that coordinates the multidirectional flow of data. The selection of appropriate software and systems is discussed in detail.

关键词： Embedded software Software maintenance Communication system software Web server Control systems data flow computing Embedded computing Web and internet services Meetings Centralized control

来源：评论

学校读者我要写书评

暂无评论

ADAPTABLE SOFTWARE FOR SUPERCOMPUTERS

引用

COMPUTER 1986年第2期19卷 40-48页

作者： SCHWEDERSKI, T SIEGEL, HJ Purdue University

First Page of the Article

关键词： Supercomputers Hardware Computer architecture Operating systems Application software data flow computing Software systems Control systems System software Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Coarse-grained reconfiguration: dataflow-based power management

引用

IET COMPUTERS AND DIGITAL TECHNIQUES 2015年第1期9卷 36-48页

作者： Palumbo, Francesca Sau, Carlo Raffo, Luigi Univ Sassari PolComIng Informat Engn Unit I-07100 Sassari Italy Univ Cagliari DIEE Dept Elect Engn Cagliari Italy

Power reduction in modern embedded systems design is a challenging issue exacerbated by the complexity and heterogeneity of their architecture. In the field of Reconfigurable Video Coding (RVC), to challenge these issues and cut-down time to market, dataflow-based techniques have been adopted. In particular, to master management and composability of dynamically reconfigurable systems, the authors have developed the multi-dataflow composer. Nevertheless, despite the RVC offers several different tools, in its reference design framework power management is still an open issue. To make some steps forward towards filling this gap, in this study, they address power management for coarse-grained reconfigurable systems combining structural and dynamic strategies, both to be applied at the dataflow level.

关键词： embedded systems power aware computing video coding data flow computing coarse-grained reconfiguration dataflow-based power management power reduction embedded systems design architecture complexity architecture heterogeneity reconfigurable video coding RVC master management reconfigurable system composability multidataflow composer reference design framework power management coarse-grained reconfigurable systems structural strategy dynamic strategy

来源：评论

学校读者我要写书评

暂无评论

MACRO PIPELINING BASED SCHEDULING ON HIGH-PERFORMANCE HETEROGENEOUS MULTIPROCESSOR SYSTEMS

引用

IEEE TRANSACTIONS ON SIGNAL PROCESSING 1995年第6期43卷 1468-1484页

作者： BANERJEE, S HAMADA, T CHAU, PM FELLMAN, RD UNIV CALIF SAN DIEGO DEPT ELECT & COMP ENGNLA JOLLACA 92093

We present a technique for pipelining heterogeneous multiprocessor systems, macro pipelining based scheduling. The problem can be identified as a combination of optimal task/processor assignment to pipeline stages as well as a scheduling problem. We propose a new technique based on iterative applications of partitioning and scheduling schemes whereby the number of pipeline stages are identified and the scheduling problem is solved. The pipeline cycle is optimized in two steps. The first step finds a global coarse solution using the Ratio Cut Partitioning technique. This is subsequently improved by the iterative architecture driven partitioning and the repartitioning and time axis relabeling techniques of the second step. We have considered a linear interprocessor communication cost model in scheduling. The proposed technique is applied to several examples. We find that for these examples, the proposed macro pipelining based scheduling can improve the throughput rate several times that of the conventional homogeneous multiprocessor scheduling algorithms.

关键词： Pipeline processing Multiprocessing systems Processor scheduling Parallel processing Digital signal processing Costs Throughput Signal processing algorithms Integrated circuit interconnections data flow computing

来源：评论

学校读者我要写书评

暂无评论

DECLARATIVE TASK DESCRIPTION AS A USER-INTERFACE STRUCTURING MECHANISM

引用

COMPUTER 1984年第9期17卷 29-38页

作者： SMITH, RG LAFUE, GME SCHOEN, E VESTAL, SC SCHLUMBERGER DOLL RES ADV COMP ENVIRONM PROGRAMRIDGEFIELDCT 06877

One of the problems that often faces the user of a large software system is a lack of uniformity or consistency in the user interface. The authors describe a solution to two practical problems which arise in the development and use of interactive systems. They observe that users frequently encounter situations where analogous semantics require radically different dialogs. Developers and maintainers frequently find that adding a feature or making a correction requires familiarity with a surprisingly large part of the system. The authors identify a common source for both problems - commingling of data acquisition and computation. They describe a way to separate the two and illustrate the practicability of their approach.

关键词： User interfaces data acquisition data flow computing Shape Software systems Programming profession Documentation Automatic programming Hardware Encapsulation

来源：评论

学校读者我要写书评

暂无评论

SharpChecker: Static analysis tool for C# programs

引用

PROGRAMMING AND COMPUTER SOFTWARE 2017年第4期43卷 268-276页

作者： Koshelev, V. K. Ignatiev, V. N. Borzilov, A. I. Belevantsev, A. A. Russian Acad Sci Inst Syst Programming Ul Solzhenitsyna 25 Moscow Russia Moscow MV Lomonosov State Univ Moscow Russia

This paper considers various aspects of static analysis of C# programs in order to detect the maximum number of software bugs in an acceptable time. A complete cycle of software static analysis is described with the main focus being placed on the specifics of the C# language. Some methods are discussed that take into account popular features of C# at all levels of analysis: call graph and control flow graph construction, dataflow analysis, as well as context- and path-sensitive interprocedural analysis. A symbolic execution method is proposed, which is based on the works devoted to the Bounded Model Checking (BMC) and the Saturn Software Analysis Project. A memory model is described that enables an accurate intraprocedural analysis and allows one to create compact representations of error conditions associated with functions, which are essential for interprocedural analysis. A special attention is paid to the optimizations that occur during path-sensitive analysis of error conditions. The conditions need to be optimized in terms of size, because path-sensitive interprocedural analysis requires saving a large number of conditions for each analyzed function. The conditions are resolved using advanced SMT solvers (such as the Microsoft Z3 Prover). This paper also considers various approaches to modeling the behavior of library functions: based on a summary containing a set of properties required for analysis, or based on simplified implementations in C#. All the discussed solutions are implemented in the SharpChecker static analysis tool and are tested on a number of open-source projects from 1.5 thousand to 1.35 million lines of code.

关键词： SOFTWARE development equipment C# (Computer program language) MALWARE (Computer software) COMPUTER software testing data flow computing GRAPH theory

来源：评论

学校读者我要写书评

暂无评论

Communication-sensitive loop scheduling for DSP applications

引用

IEEE TRANSACTIONS ON SIGNAL PROCESSING 1997年第5期45卷 1309-1322页

作者： Tongsima, S Sha, EHM Passos, NL MIDWESTERN STATE UNIV DEPT COMP SCI WICHITA FALLS TX 76308 USA

The performance of computation-intensive digital signal processing applications running on parallel systems is highly dependent on communication delays imposed by the parallel architecture, In order to obtain a more compact task/processor assignment, a scheduling algorithm considering the communication time between processors needs to be investigated, Such applications usually contain iterative or recursive segments that are modeled as communication sensitive data flow graphs (CS-DFG's), where nodes represent computational tasks and edges represent dependencies between them, Based on the theorems derived, this paper presents a novel efficient technique called cyclo-compaction scheduling, which is applied to a CS-DFG to obtain a better schedule, This new method takes into account the data transmission time, loop carried dependencies, and the target architecture, It implicitly uses the retiming technique (loop pipelining) and a task remapping procedure to allocate processors and to iteratively improve the parallelism while handling the underlying communication and resource constraints. Experimental results on different architectures demonstrate that this algorithm yields significant improvement over existing methods, For some applications, the final schedule length is less than one half of its initial length.

关键词： Digital signal processing Processor scheduling data flow computing Concurrent computing High performance computing Delay Parallel architectures Scheduling algorithm flow graphs data communication

来源：评论

学校读者我要写书评

暂无评论

Formal considerations of rule-based messaging for Business Process Integration

引用

CYBERNETICS AND SYSTEMS 2006年第2-3期37卷 171-196页

作者： Ma, DC Orlowska, ME Sadiq, SW Univ Queensland Sch Informat Technol & Elect Engn Brisbane Qld 4072 Australia

In the last decade, with the expansion of organizational scope and the tendency for outsourcing, there has been an increasing need for Business Process Integration (BPI), understood as the sharing of data and applications among business processes. The research efforts and development paths in BPI pursued by many academic groups and system vendors, targeting heterogeneous system integration, continue to face several conceptual and technological challenges. This article begins with a brief review of major approaches and emerging standards to address BPI. Further, we introduce a rule-driven messaging approach to BPI, which is based on the harmonization of messages in order to compose a new, often cross-organizational process. We will then introduce the design of a temporal first order language (Harmonized Messaging Calculus) that provides the formal foundation for general rules governing the business process execution. Definitions of the language terms, formulae, safety, and expressiveness are introduced and considered in detail.

关键词： REENGINEERING (Management) ORGANIZATIONAL behavior INFORMATION resources management TECHNOLOGICAL innovations data flow computing INDUSTRIAL management

来源：评论

学校读者我要写书评

暂无评论

SIP-Empowered Optical Networks for Future IT Services and Applications

引用

IEEE COMMUNICATIONS MAGAZINE 2009年第5期47卷 48-54页

作者： Callegati, Franco Campi, Aldo Corazza, Giorgio Simeonidou, Dimitra Zervas, Georgios Qin, Yixuan Neiabati, Reza Univ Bologna I-40126 Bologna Italy Univ Essex High Performance Networked Media Lab Colchester CO4 3SQ Essex England Univ Essex Photon Networks Lab Colchester CO4 3SQ Essex England

This article presents a novel application-aware network architecture for evolving and emerging IT services and applications. It proposes to enrich an optical burst switching network with a session control layer that can close the gap between application requests and network control. The session control layer is implemented using the Session Initiation Protocol, giving birth to what is called a SIP-OBS architecture. The article discusses the important added value of this architecture, and shows that it may support a number of end-to-end resource discovery and reservation strategies (for both network and non-network resources). Finally, it presents a testbed implementation where this approach was experimentally validated.

关键词： COMPUTER network architectures SESSION Initiation Protocol (Computer network protocol) BANDWIDTHS NETWORK operating system data flow computing ROUTING protocols (Computer network protocols) data recovery (Computer science) ELECTRIC network topology

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：