the authors deal withthe problems of software partition for distributed real-timeapplications. the software-partitioning models analyzed are those that take maximizing the efficiency in resource utilization for thei...
详细信息
ISBN:
(纸本)0897912586
the authors deal withthe problems of software partition for distributed real-timeapplications. the software-partitioning models analyzed are those that take maximizing the efficiency in resource utilization for their objective, while observing the constraints on CPU throughput, memory space available, maximally allowed task execution time, and the order of module execution. the problem of software partition based on the models is proved to be NP-complete. there is no efficient partitioning algorithm for the models. the authors present two heuristic software-partitioning algorithms.< >
Users of networks of heterogeneous processors are concerned with allocating specialized resources to tasks of medium to large size. they need to create processes, which are instances of tasks, allocate these processes...
详细信息
ISBN:
(纸本)0897912586
Users of networks of heterogeneous processors are concerned with allocating specialized resources to tasks of medium to large size. they need to create processes, which are instances of tasks, allocate these processes to processors, and specify the communication patterns between processes. these activities constitute processor-memory-switch (PMS)-level programming. the authors describe the use of PMS-level programming in computation-intensive, real-timeapplications, e.g. vision, robotics, and vehicular control, that require efficient concurrent execution of multiple tasks, e.g. sensor data collection, obstacle recognition, and global path planning, devoted to specific pieces of the application. they discuss the programming of heterogeneous machines and present the Durra language and tools, which they are developing to support PMS-level programming.< >
the Serial Signal Processor (SSP) chip, designed by Richard F. Lyon, is a VLSI realization of a multiport register memory (64 x 32 bits) interconnected with two multiply-add functional units and one arithmetic-logic u...
详细信息
this book contains the collection of full papers accepted at the 11thinternationalconference on Enterprise Information systems (ICEIS 2009), organized by the Ins- tute for systems and Technologies of Information Con...
详细信息
ISBN:
(数字)9783642013478
ISBN:
(纸本)9783642013461
this book contains the collection of full papers accepted at the 11thinternationalconference on Enterprise Information systems (ICEIS 2009), organized by the Ins- tute for systems and Technologies of Information Control and Communication (INSTICC) in cooperation withthe Association for Advancement of Artificial Intel- gence (AAAI) and ACM SIGMIS (SIG on Management Information systems), and technically co-sponsored by the Japanese IEICE SWIM (SIG on Software Interprise Modeling) and the Workflow Management Coalition (WfMC). ICEIS 2009 was held in Milan, Italy. this conference has grown to become a - jor point of contact between research scientists, engineers and practitioners in the area of business applications of information systems. this year, five simultaneous tracks were held, covering different aspects related to enterprise computing, including: “- tabases and Information systems Integration,” “Artificial Intelligence and Decision Support systems,” “Information systems Analysis and Specification,” “Software Agents and Internet computing” and “Human–Computer Interaction”. All tracks describe research work that is often oriented toward real-world applications and hi- light the benefits of information systems and technology for industry and services, thus making a bridge between academia and enterprise. ICEIS 2009 received 644 paper submissions from 70 countries in all continents; 81 papers were published and presented as full papers, i.e., completed research work (8 pages/30-minute oral presentation). Additional papers accepted at ICEIS, including short papers and posters, were published in the regular conference proceedings.
the IDEAL conference has become a unique, established and broad interdisciplinary forum for experts, researchers and practitioners in many fields to interact with each other and with leading academics and industries i...
详细信息
ISBN:
(数字)9783642153815
ISBN:
(纸本)9783642153808
the IDEAL conference has become a unique, established and broad interdisciplinary forum for experts, researchers and practitioners in many fields to interact with each other and with leading academics and industries in the areas of machine learning, information processing, data mining, knowledge management, bio-informatics, neu- informatics, bio-inspired models, agents and distributed systems, and hybrid systems. this volume contains the papers presented at the 11thinternationalconference on Intelligent Data Engineering and Automated Learning (IDEAL 2010), which was held September 1–3, 2010 in the University of the West of Scotland, on its Paisley campus, 15 kilometres from the city of Glasgow, Scotland. All submissions were strictly pe- reviewed by the Programme Committee and only the papers judged with sufficient quality and novelty were accepted and included in the proceedings. the IDEAL conferences continue to evolve and this year’s conference was no exc- tion. the conference papers cover a wide variety of topics which can be classified by technique, aim or application. the techniques include evolutionary algorithms, artificial neural networks, association rules, probabilistic modelling, agent modelling, particle swarm optimization and kernel methods. the aims include regression, classification, clustering and generic data mining. the applications include biological information processing, text processing, physical systems control, video analysis and time series analysis.
this book constitutes the refereed proceedings of the 11thinternationalconference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. the 13 revised full papers presented together ...
详细信息
ISBN:
(数字)9783642311130
ISBN:
(纸本)9783642311123
this book constitutes the refereed proceedings of the 11thinternationalconference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. the 13 revised full papers presented together withthree invited talks were carefully reviewed and selected from 27 submissions. the papers are organized in topical sections on security and information flow, synchronous and real-timesystems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
this book constitutes the refereed proceedings of the 11thinternationalconference on Cooperative Design, Visualization, and Engineering, CDVE 2014, held in Seattle, WA, USA, in September 2014. the 33 full and 10 sho...
详细信息
ISBN:
(数字)9783319108315
ISBN:
(纸本)9783319108308
this book constitutes the refereed proceedings of the 11thinternationalconference on Cooperative Design, Visualization, and Engineering, CDVE 2014, held in Seattle, WA, USA, in September 2014. the 33 full and 10 short papers presented were carefully reviewed and selected from 78 submissions. the papers cover topics such as cloud technology; the use of cloud for manufacturing, re-source selection, service evaluation, and control; methods for processing and visualizing big data created by the social media, such as Twitter and Facebook; real-time data about human interaction; sentiment analysis; trend analysis; location-based crowdsourcing; effective teamwork; cooperative visualization.
this book constitutes the proceedings of the 8thinternational Workshop on Design, Modeling, and Evaluation of Cyber Physical systems, CyPhy 2018 and 14thinternational Workshop on embedded and Cyber-Physical systems ...
详细信息
ISBN:
(数字)9783030237035
ISBN:
(纸本)9783030237028
this book constitutes the proceedings of the 8thinternational Workshop on Design, Modeling, and Evaluation of Cyber Physical systems, CyPhy 2018 and 14thinternational Workshop on embedded and Cyber-Physical systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.;the 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions.;the conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embeddedsystems, real-timesystems, safety, and reliability.
this volume contains the proceedings of the Second international Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 2009 in conjunction ...
详细信息
ISBN:
(数字)9783642043857
ISBN:
(纸本)9783642043789
this volume contains the proceedings of the Second international Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 2009 in conjunction withthe 11thinternationalconference on Ubiquitous computing (Ubicomp 2009). MELT provides a forum for the presentation of state-of-the-art technologies in mobile localization and tracking and novel applications of location-based s- vices. MELT 2009 continued the success of the ?rst workshop in the series (MELT 2008), which was held is San Francisco, California on September 19, 2008 in conjunction with Mobicom. Location-awareness is a key component for achieving context-awareness. - cent years have witnessed an increasing trend towards location-based services and applications. In most cases, however, location information is limited by the accessibility to GPS, which is unavailable for indoor or underground fac- ities and unreliable in urban environments. Much research has been done, in boththe sensor network community and the ubiquitous computing community, to provide techniques for localization and tracking in GPS-less environments. Novel applications based on ad-hoc localization and real-time tracking of - bile entities are growing as a result of these technologies. MELT brings together leaders from boththe academic and industrial research communities to discuss challenging and open problems, to evaluate pros and cons of various approaches, to bridge the gap between theory and applications, and to envision new research opportunities.
this book constitutes the refereed proceedings of the 11thinternationalconference on Formal Modeling and Analysis of timed systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.;the 18 revised full ...
详细信息
ISBN:
(数字)9783642402296
ISBN:
(纸本)9783642402289
this book constitutes the refereed proceedings of the 11thinternationalconference on Formal Modeling and Analysis of timed systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.;the 18 revised full papers presented were carefully reviewed and selected from 41 submissions. the book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).
暂无评论