A Flexible Integration Strategy for In-Car Telematics Systems
|
|
- Melvyn Short
- 6 years ago
- Views:
Transcription
1 A Flexible Interation Stratey for In-Car Telematics Systems Thomas Bauer Jens Herrmann Peter Liesmeyer Christopher Robinson-Mallett University of Potsdam Hasso-Plattner-Institute DaimlerChrysler AG Berlin University of Kaiserslautern Fraunhofer IESE University of Potsdam Hasso-Plattner-Institute ABSTRACT This paper presents an approach for the plannin of interation tests of automotive telematics systems. To our knowlede no method for the determination of an interation order exists that takes the project and the system environment into account, which in our opinion reatly influence the interation order. Furthermore, most known test eneration methods and structural quality measures demand syntactically sound specifications to be applied efficiently. In our projects Messae Sequence Charts are often created manually from the scratch with many different tools, and therefore they are of rather low syntactical quality. This paper addresses the determination of an interation stratey, which can easily be adapted to chanes in the project or in the system environment, and which can be manually applied to any iven specification. Cateories and Subject Descriptors D..5 Testin and Debuin, D.8 Metrics, D.9 Manaement. General Terms Manaement, Measurement, Reliability, Human Factors, Standardization, Verification.. INTRODUCTION The development of in-car telematics systems (fiure ) is usually a common task of a sinle system developer, i.e. the car manufacturer, and many external component suppliers. The development of the telematics components is based on requirements, which are defined in contracts between system developer and suppliers. These documents miht contain various document types, e.. functional and requirements specifications, statecharts, or messae sequence charts (MSCs). The interation and the implied interation testin of the externally developed components is achieved by the system developer. The interation test is based on specifications which describe the architecture of the telematics system, includin the interaction of the components. Typically, the internal structure and the behavior of the components are hidden to the system interator and the required component behavior is unit tested riht after delivery. Therefore, an interation test of a telematics system is usually based on requirements documents that mainly describe the component interaction and communication and which are in our case MSCs of varyin quality. Keywords Interation Testin, Automotive, Telematics, Test Plannin, Components, Messae Sequence Charts PERMISSION TO MAKE DIGITAL OR HARD COPIES OF ALL OR PART OF THIS WORK FOR PERSONAL OR CLASSROOM USE IS GRANTED WITHOUT FEE PROVIDED THAT COPIES ARE NOT MADE OR DISTRIBUTED FOR PROFIT OR COMMERCIAL ADVANTAGE AND THAT COPIES BEAR THIS NOTICE AND THE FULL CITATION ON THE FIRST PAGE. TO COPY OTHERWISE, OR REPUBLISH, TO POST ON SERVERS OR TO REDISTRIBUTE TO LISTS, REQUIRES PRIOR SPECIFIC PERMISSION AND/OR A FEE. ICSE SEAS 05, MAY, 005, ST. LOUIS, MISSOURI, USA. 005 ACM /05/ $5.00 Fiure : In-car telematics MOST network To our knowlede no sufficient solutions nor experiences on interation testin of in-car telematics systems, e.. info- and entertainment systems, on the basis of MSCs exist, which take the project and the system environment into account. This paper presents a flexible plannin method for interation tests of in-car telematics systems in an industrial environment that is based on environmental aspects, risk analysis and communication structure.
2 As the most important task durin interation of telematics systems the development of an interation stratey is closely examined. A sufficient interation stratey must be intuitively, easy to adapt to chanin requirements, and furthermore it has to represent the project situation and the telematics characteristics. Diverse testin methods must be chosen and applied in conjunction with the interation stratey. In each interation step and on each specification document a different testin method may be appropriately used for the construction of test cases. Therefore, this paper also aims at the measurement of the characteristics of specification documents used in the development of telematics systems. This paper is oranized in seven sections. In section related work is presented and the motivation of our work is explained in the presence of existin interation testin approaches. The basics of in-car telematics systems are iven in section 3. In section 4 a schema of an interation test plan is presented, which is structured into packaes to map the stepwise nature of interation testin. The development of the interation stratey is presented in section 5. This section contains three subsections for environment, risk, and structure analyses that are used to determine the interation order. The application of the interation order to the MSCs of a project and a concept for the construction of test-cases are presented in section 6. Finally, this work is concluded and future research topics are presented.. RELATED WORK The eneral use of messae sequence charts in softwaredevelopment is defined in two most important standards, the ITU Z.0 [] and the UML.0 Specification [3]. The Z.0 standard aims the area of communication networks where MSCs are used for the description of the interaction between distributed components. The UML specification describes MSCs with a more eneral purpose, but which are often associated with the description of object interaction. A detailed comparison of these standards can be found in [4]. The Testin and Test Control Notation, formerly referred to as Tree and Tabular Control Notation, in its latest version TTCN-3 was developed to allow the specification of detailed tests for communicatin systems [8]. The papers of Baker et. al. [5] and Ebner [6] are describin in detail the test-case eneration on the basis of MSCs for the use with TTCN [7,8]. The method of Baker et. al. was realized in the ptk-tool to enerate TTCN- test-cases from MSC-000 specifications. The method of Ebner is eneratin TTCN-3 testcases from UML-MSCs. Relatively few work exists on the determination of an interation order. Briand et. al. presented an approach for the determination of an optimal interation order on the basis of couplin measures and enetic alorithms [9,0]. Wu et. al. proposed a method for the interation of component software on the basis of UML statecharts and collaboration diarams, usin structural analysis techniques for the examination of the component-dependencies []. Other work was presented on the eneration of test-cases for interation testin on the basis of UML diarams [,3,4,5]. The work of Basanieri and Bertolino [4] also aims for the development of an practical approach. Beside the application of coverae criteria to MSCs, the test-case eneration is also based on use-case-maps, and class diarams. Althouh this work is aimin for similar practical problems, their work is restricted to structural analyses. Driver C C Stub C 3 Stub Fiure : Testbed Confiuration of an interation step Thouh, the mentioned approaches and methods solve many of the practical problems that we are facin in the interation of automotive telematics systems, there was none that could be applied to our projects. First of all, none of these methods take the project and the system environment into account, which in our opinion reatly influence the interation order. Furthermore, most of the presented test eneration methods and structural quality measures demand syntactically sound MSCs to be applied efficiently. In our projects MSCs are often created manually from the scratch with many different tools, and therefore MSCs are of rather low syntactical quality. Therefore, this paper addresses the determination of an interation stratey which can easily be adapted to chanes in the project or in the system environment, and which can be manually applied to the iven MSCspecifications. 3. IN-CAR TELEMATICS SYSTEMS The telematics systems under test are interated in-car entertainment and infotainment components such as a central user interface, naviation system, radio, audio amplifier, cd-chaner etc. Most of the telematics features are realized by the simultaneous interplay of these components, e.. on phone call the cd-player is paused and the audio amplifier allocates audio channels for the hands-free speakin system. A cost effective way to continue innovatin in all these areas is to allow the devices to be developed independently by different suppliers and to be networked usin standard hardware and software interfaces. Challenes arise due to the limited component observability durin interation testin, because the behavior can only be observed throuh the component s interfaces. The various components of the system are connected usin several networkin standards. One prominent standard is currently Media Oriented System Transport (MOST) []. In fiure a characteristic example of the application of MOST in the automotive sector is presented. The development and interation of automotive telematics system components is accompanied by a number of testin phases. Initially each component is separately unit tested aainst its specification. Thouh, much of the functionality of a system can only be tested when a number of devices are interated in the network. Durin interation testin functionalities are tested aainst system specifications that are distributed across a number of devices., e.. telephony, naviation. Finally, durin system testin the interoperability of features and the interaction between system and environment are checked. The suppliers are mainly responsible for unit testin while the car manufacturer typically focuses on interation and system testin of the telematics network. Due to our experience, the interation testin phase is the most critical testin phase for the car manufacturer.
3 Interation Stratey Testbed Minimal Confiuration Test Plan Test Protocol Requirements Environment Risk Structure Component Metrics Standards Guidelines Contracts Messae Sequence Charts Test References Input Interation Stratey Time- and Cost Plan Testin Methods Test Cases Test Run Activities Test Evaluation Activities Plannin Goals Plannin Testin Methods Step i Test Cases Step i Testbed Step i Relevant for Step i Standards Guidelines Contract Pararaphs Relevant for Step i MSCs References i Interation-Step i Output Fiure 3: Interation Test Plannin 4. INTEGRATION TEST PLAN The interation test of telematics systems aims for the detection of faults in the interaction and communication of the concurrently workin components. The system is interated and tested incrementally, i.e. in each step exactly one component is interated and the interaction and communication concernin this component is covered with test-cases. As a prerequisite, each component has to be sufficiently unit-tested before interation. The order of the components durin interation follows a chosen stratey, which has to take environment, criticality, and structure into account. The missin components in an interation step have to be substituted and simulated by drivers and stubs. Therefore each interation step demands a specific hardware and software infrastructure which embeds the components under test (CUTs). An example of a hardware confiuration of such a test bed is presented in fiure. A test bed consists of a minimal confiuration, which is not chaned durin the whole interation process, and a flexible confiuration, which is adapted to the CUTs in each interation step. The minimal confiuration is constructed and applied before the interation is started. It has to provide the tester with the ability to observe and control the communication and the interaction of the CUTs. The several step-specific confiurations are constructed and applied on the basis of information derived from the interation stratey. A step specific confiuration may consist of additional components to simulate component behaviour, referred to as stubs, or to stimulate behaviour, referred to as drivers. After construction of the step-specific confiuration the test-cases are automatically executed. The resultin test-protocol of a step is evaluated aainst a test reference which contains all relevant documents related to the CUTs. These test references may include functional and requirements specifications, contractual areements, or standards and uidelines. In this paper it is assumed, that the component communication and interaction is specified in the form of MSCs, aainst which the test-protocols are evaluated. In fiure 3 a schema of plannin the interation testin of telematics systems is presented. In the center the oals of the plannin process are placed. The input of the plannin process consists of the minimal test bed confiuration, environment, risk and structure measures of each component, and the test references. Durin interation test plannin the stratey is determined, i.e. the order in which components are interated. Based on the interation stratey and the component metrics for each interation step, respectively component, testin methods are chosen and optionally test cases can be determined. Furthermore, all requirements for runnin tests are identified, which means first of all complementin the test bed for each interation step. Based on the interation stratey the relevant testin references for each step are identified. At last, a time and cost plan is arraned which also takes the relevant activities and resources of each interation step into account. 5. INTEGRATION STRATEGY An sufficient interation stratey must be flexible to react on chanes in the requirements or in the environment of the software development project, e.. component delivery delay or sudden customer presentations. Fiure 3 presents the development of an interation stratey from environment, risk and structure analyses. Furthermore standards, rules and uidelines have to be taken into account. In this section the development of an interation stratey throuh analytical means is presented in detail.
4 5. Environment Analysis The environment influences the interation of components throuh economical, technical and oranizational constraints. A chane in one of these constraints miht enforce a chane in the interation order of the CUTs. Table : Interation by Delivery Date ORDER CUT DELIVERY DATE b approved d Oct 0 th a Oct th e Oct. 3 th c Oct. 3 th f Oct. 3 th Oct. 4 th 004 An important oranizational and economical aspect of the environmental constraints is the delivery date of a CUT. The delivery dates of the CUTs constitute an economical interation order. CUTs with early delivery dates have a hih interation priority, while CUTs with late delivery dates are of low priority. The interation stratey has to be chaned, when a CUTs delivery is delayed after its scheduled interation date. A delayed component is scheduled for interation as soon as possible after the delayed delivery date. The interation by delivery date of an exemplary system of seven components is presented in table. The interation order of the components e, c, f and b is arbitrary, because e, c, and f are delivered on the same day and b is approved. Table : Interation by Approval ORDER CUT LAST CHANGE a Oct. 0 th. 004 d Oct. st e Au. th f Mar. 3 rd Jan. 0 th b Dec. th c Jan. st 003 In many development projects a number of CUTs are approved components or have the same delivery date. In these cases the determination of an interation order demands other criteria. Another environmental aspect for the interation of components is the practical approval of CUTs. A CUT which has been approved in the field for a lon period demands less testin than a lately developed component. Therefore CUTs miht be ordered accordin to their approval in the field. The example in table presents the interation by approval of the system with seven CUTs. These results can be combined with table, which allows a determined interation each CUT. For the purpose of interation testin the orderin by approval is only a very weak criteria, because the approval of a component in a different environment is only a weak indicator that it will work properly in the iven environment. To prove this is actually the purpose of the interation test. Another aspect for the determination of an interation order is the technical environment of the CUTs. In some cases it miht be necessary to interate multiple CUTs at once or in a fixed order, when the technical dependence between these components is very stron, e.. a CD-chaner that stronly depends on a stereo controller component. There are probably many more technical and oranizational aspects than we are able to consider in this paper, therefore we only propose for the iven example the consideration of technical and oranizational aspects of the system and the project environment. An additional table for each considered aspect can achieve this. 5. Risk Analysis The oal of a development project is put at risk by problems concernin the product and the project itself. Therefore the risk analysis and risk reducin tasks have important influences to the success of a project. A risk should be discovered and reduced as early as possible. Obviously, this also influences the interationtestin phase. A risk analysis is based on functional and requirements specifications and experiences from foreoin projects in the form of fault and risk statistics. For the determination of an interation stratey the risk analysis of the CUTs and of the system are of major importance. A risk analysis can be carried out with checklists, questionnaires, and reviews. Table 3: Interation by Risk ORDER CUT RISK LEVEL e 7 c 7 3 d b 5 6 f 3 7 a 3 The output of a risk analysis can be used for the determination of an interation stratey. A CUT with a hiher risk is interated earlier, than a CUT of lower priority. Therefore, CUTs of hih priority are loner tested in favour to lower priority CUTs. In table 3 the example of the system with seven CUTs is ordered on the basis of a risk analysis. The risk is measured in terms of low risk (3), medium risk (5), and hih risk (7) - the risk values 3,5, and 7 are freely chosen. Obviously, this risk analysis is too coarse to provide a complete interation stratey, thouh it orders a, b, and c. In combination with the environmental analysis only e can be interated arbitrarily. A detailed risk analysis could help to determine the interation of e, but usually a complete risk analysis just for the purpose of interation cannot be achieved economically. It is more realistic to suppose, that a risk analysis from earlier development phases is used.
5 a md5 ma md3 ma md6 ma b d f Derive Communication Graph from MSCs. Map Interaction Components on Nodes. Map Communication between Components on Edes 3. Label Edes with Number of Messaes sent between Components b c 5 a d e 3 c e 3 f 3 b d e d md3 me m md4 Fiure 4: Communication Structure of Seven CUTs Example 5.3 Structure Analysis The CUTs are communicatin via the MOST rin. Despite the topoloy of the underlyin communication system the communication structure of the system is dependin only on the implementation of the CUTs. Based on a structural analysis an interation stratey can be developed, which takes the intensity of the interaction and communication of a CUT with other CUTs into account. Therefore, CUTs with a hih interaction and communication intensity are earlier interated than components with a low intensity. Table 4: Interation by Rane a b c d e f R a b c d e f In fiure 4 the communication structure of the example of the seven CUTs is presented in the form of a denoted, directed raph. The nodes represent the CUTs. An ede between a and b represents a communication from a to b, which in our case means a sends a messae to b. Each ede is denoted with an inteer value, which represents the number of sent messaes. For the analysis of the communication structures the activity and the rane of a CUT are measured. The rane R is the number of f me3 mf m m3 partners, a CUT is sendin messaes to. The activity A is the number of messaes a CUT is sendin overall. In table 4 the calculation of the ranes for the example with seven CUTs is demonstrated. The rows of the relation matrix represent the communication of the row components with the column components. A rane R of a component is the sum of the values of its row in the rane matrix. Table 5: Interation by Activity a b c d e f A a b c d e f In table 5 the calculation of the activities for our example with a relation table is demonstrated. The rows of the table contain the numbers messaes bein sent by a row CUT to a column CUT. An activity measure A of a component is the sum of the values of its row in the activity matrix. Table 6: Interation by Intensity ORDER CUT INTENSITY d 3 a 3 f 7 4 c 6 5 e 4 6 b 3 7 The rane and the activity measures are used to determine the interation order. Hihly active components with a wide rane are interated first. The sum of the activity and rane values results in the communication intensity. For further application other combination rules may be applied. 5.4 Interation Order The environment, risk and structure analyses are finally combined in an interation stratey. First of all, the environment measures are applied in order to achieve flexibility on chanes in the project environment. The risk measures are taken into account secondly, if still unordered CUTs exist. Finally, the structure measures complete the interation order. This order is mainly motivated by our experience, that in most projects the oranizational and the technical restrictions are of hihest importance. Structural measures are of lowest importance, because they lack intuition and usually demand a certain deree of formality to be applied efficiently. In our projects we usually find specifications of varyin quality. Therefore, we cannot apply interation methods which depend on formal specifications and tool-support e.. time and cost optimal interation methods, which minimize the effort of the test environment implementation.
6 ORDER CUT DELIVERY DATE b approved d Oct 0 th a Oct th e Oct. 3 th c Oct. 3 th f Oct. 3 th Oct. 4 th 004 ORDER CUT RISK LEVEL e 7 c 7 3 d b 5 6 f 3 7 a 3 3 ORDER CUT LAST CHANGE a Oct. 0 th. 004 d Oct. st e Au. th f Mar. 3 rd Jan. 0 th b Dec. th c Jan. st 003 ORDER CUT INTENSITY d 3 a 3 f 7 4 c 6 5 e 4 6 b 3 7 ORDER CUT b d 3 a 4 c 5 e 6 f 7 In fiure 5 the determination of the interation order for the example with seven CUTs is presented as a whole. The dotted lines in the example represent alternative or additional criteria, which are not used here. The lines demonstrate the orderin of the CUTs. The delivery date leaves the components b, e, c, and f unordered. Therefore, the risk level is used, althouh the CUTs e and c still remain unordered. At last the intensity ives order to e and c and a final interation stratey is determined. 6. STEPWISE TEST-CASE DEVELOPMENT After determination of an interation order the test-cases for each interation step can be developed. The MSCs of the example in fiure 4 are sorted out and derived to stepwise MSCs, which are the basis for the test-case eneration. In fiure 6 the MSCs of the example are used to create test-cases for the seven interation-steps. Based on the CUTs which are interated in one step, the relevant MSCs are chosen. If a MSC contains CUTs that are not interated until this interation step, those CUTs, and all the communication amon them, are deleted from the MSC. Instead of the deleted CUTs stubs are added to the MSC. The remainin communication of the MSC is defined only between interated CUTs, stubs and drivers. The stepwise test-case eneration is dependin on the remainin structure of the MSCs. Testin methods, e.. messae, condition, or data flow coverae criteria, are chosen dependin on the existence of messae parameters, conditions and uards, loops, and lobal data. The details of test-case eneration on the basis of MSCs was presented in a number of papers and is not in the focus of this work. For further information on this topic we refer to literature mentioned in the related work section. Fiure 5: Combined Interation Stratey 7. CONCLUSION In this work, we presented an approach for the plannin of interation tests of automotive telematics systems. The interation testin is based on informal MSCs, which are used for the specification of the interaction of telematics components. In contrast to other interation strateies in the presence of raphical communication specifications, our approach prefers environmental and risk analyses over structure analyses. Because of the simplicity of the measures and techniques used in our approach, we think it can be efficiently applied to many industrial projects. Even in the case that only informal MSCs are used and therefore tool assistance is not possible, the tester can easily develop a test plan and test cases manually. In further research and publication we will focus on the test case eneration on the basis of step-wise MSCs. An important requirement of such a method is the quick reaction on chanes in the project environment. Therefore an efficient testin method for this approach must be hihly adaptable. To ease the practical application of out approach we aim for the development of a set of easy-to-use spread-sheet implementations, checklists, and questionnaires. The aim of this development will be to formalise the process of interation test plannin and to increase the acceptance of this approach amon system developers and testers. In the near future we will apply this approach to a number of industrial projects for the development of automotive info- and entertainment systems. Furthermore, we are workin on the adaption of this approach to other automotive software systems e.. enine manaement or driver assistance systems.
7 Literature [] MOST-Cooperation, Media Oriented System Transport, Step a b c b d [] ITU, ITU Z.0 Messae Sequence Charts (MSC-000), / [3] Object Manaement Group, OMG UML.0, technoloy/documents/modelin_spec_catalo.htm [4] O.Hauen, Comparin UML.0 Interactions and MSC-000, SAM 004, 4 th International SDL and MSC Workshop, Ottawa, Canada, 004 [5] P. Baker, P. Bristow, C. Jervis, D. J. Kin, B. Mitchel, Automatic Generation of Conformance Tests from Messae Sequence Charts, SAM 00 3 rd International SDL and MSC Workshop, Aberystwyth, 00 [6] M. Ebner, TTCN-3 Test Case Generation from Messae Sequence Charts, ISSRE 04, Workshop on Interated Reliability with Telecommunications and UML, Rennes, 004 [7] ITU-T Recommendation X.9, OSI conformance testin methodoloy and framework for protocol Recommendations for ITU-T applications The Tree and Tabular Combined Notation (TTCN), 998 [8] ITU-T Recommendation Z.40, The Tree and Tabular Combined Notation version 3 (TTCN-3): Core Lanuae, 00 [9] L. Briand, Y. Labiche, Y. Wand, An Investiation of Graph- Based Class Interation Test Order Strateies, IEEE Transactions on Software Enineerin, 9 (6), 003 [0] L. Briand, J. Fen, Y. Labiche, Experimentin with Genetic Alorithms and Couplin Measures to Devise Optimal Interation Test Orders, Software Enineerin with Computational Intellience, Spriner Verla, Berlin, 003 [] Y. Wu, M. Chen, J. Offutt, UML-based Interation Testin for Component-Based Software, nd International Conference on COTS-Based Software Systems (ICCBSS), Ottawa, 003 [] W. K. Chan, T. Y. Chen, T. H. Tse, An Overview of Interation Testin Techniques for Object-Oriented Prorams, Proceedins of the nd Annual International Conference on Computer and Information Science (ICIS 00), Mt. Pleasant, 00 [3] F. Basanieri, A. Bertolino, E. Marchetti, A. Ribolino, G. Lombardi, G. Nucera, An Automated Test Stratey Based on UML Diarams, Proc. Ericsson Rational User Conference, Upplands Vasby, Sweden, October 00 [4] F. Basanieri, A. Bertolino, A practical approach to UMLbased derivation of interation tests, Proc. Software Quality Week Europe QWE000, 000 [5] R. Heckel, L. Mariani, Component Interation Testin by Graph Transformations, International Conference on Computer Science, Software Enineerin, Information Technoloy, e- Business, and Applications, Cairo, 004 Step Step 3 Step 4 Step 5 Step 6 Step 7 a b d d f d f d f me e d f m me e d f m me e d f m me Fiure 6: Stepwise Test-Case Development mf m m3 mf m m3
optimization agents user interface agents database agents program interface agents
A MULTIAGENT SIMULATION OPTIMIZATION SYSTEM Sven Hader Department of Computer Science Chemnitz University of Technoloy D-09107 Chemnitz, Germany E-Mail: sha@informatik.tu-chemnitz.de KEYWORDS simulation
More informationMission Families: a cost effective approach to Mission Control System development
Mission Families: a cost effective approach to Mission Control System development Damiano Guerrucci, Vemund Reestad, Mario Merri, Pierpaolo Emanuelli European Space Aency (ESA) European Space Operations
More informationA SUIF Interface Module for Eli. W. M. Waite. University of Colorado
A SUIF Interace Module or Eli W. M. Waite Department o Electrical and Computer Enineerin University o Colorado William.Waite@Colorado.edu 1 What is Eli? Eli [2] is a domain-specic prorammin environment
More informationHeuristic Searching: A* Search
IOSR Journal of Computer Enineerin (IOSRJCE) ISSN: 2278-0661 Volume 4, Issue 2 (Sep.-Oct. 2012), PP 01-05 Nazmul Hasan (Department of Computer Science and Enineerin, Military Institute of Science and Technoloy,
More informationDatabase Security. Professor Sushil Jajodia George Mason University
Database Security Professor Sushil Jajodia Geore Mason University 703-993-1640 jajodia@mu.edu http://isse.mu.edu/~csis/faculty/jajodia.html 4-03 2 Discretionary Access Controls Users can protect what they
More informationLeveraging Models at Run-time to Retrieve Information for Feature Location
Leverain Models at Run-time to Retrieve Information for Feature Location Lorena Arcea,2, Jaime Font,2 Øystein Hauen 2,3, and Carlos Cetina San Jore University, SVIT Research Group, Zaraoza, Spain {larcea,jfont,ccetina}@usj.es
More informationAn Internet Collaborative Environment for Sharing Java Applications
An Internet Collaborative Environment for Sharin Java Applications H. Abdel-Wahab and B. Kvande Department of Computer Science Old Dominion University Norfolk, Va 23529 fwahab,kvande@cs.odu.edu O. Kim
More informationBus-Based Communication Synthesis on System-Level
Bus-Based Communication Synthesis on System-Level Michael Gasteier Manfred Glesner Darmstadt University of Technoloy Institute of Microelectronic Systems Karlstrasse 15, 64283 Darmstadt, Germany Abstract
More informationImitation: An Alternative to Generalization in Programming by Demonstration Systems
Imitation: An Alternative to Generalization in Prorammin by Demonstration Systems Technical Report UW-CSE-98-08-06 Amir Michail University of Washinton amir@cs.washinton.edu http://www.cs.washinton.edu/homes/amir/opsis.html
More informationP2P network traffic control mechanism based on global evaluation values
June 2009, 16(3): 66 70 www.sciencedirect.com/science/ournal/10058885 The Journal of China Universities of Posts and Telecommunications www.buptournal.cn/ben P2P network traffic control mechanism based
More informationLocal linear regression for soft-sensor design with application to an industrial deethanizer
Preprints of the 8th IFAC World Conress Milano (Italy) Auust 8 - September, Local linear reression for soft-sensor desin with application to an industrial deethanizer Zhanxin Zhu Francesco Corona Amaury
More informationGeneral Design of Grid-based Data Replication. Schemes Using Graphs and a Few Rules. availability of read and write operations they oer and
General esin of Grid-based ata Replication Schemes Usin Graphs and a Few Rules Oliver Theel University of California epartment of Computer Science Riverside, C 92521-0304, US bstract Grid-based data replication
More informationTHE FEASIBILITY OF SMOOTHED PARTICLE HYDRODYNAMICS FOR MULTIPHASE OILFIELD SYSTEMS
Seventh International Conference on CFD in the Minerals and Process Industries CSIRO, Melbourne, Australia 9-11 December 009 THE FEASIBILITY OF SMOOTHED PARTICLE HYDRODYNAMICS FOR MULTIPHASE OILFIELD SYSTEMS
More informationEfficient Generation of Large Amounts of Training Data for Sign Language Recognition: A Semi-automatic Tool
Efficient Generation of Lare Amounts of Trainin Data for Sin Lanuae Reconition: A Semi-automatic Tool Ruiduo Yan, Sudeep Sarkar,BarbaraLoedin, and Arthur Karshmer University of South Florida, Tampa, FL,
More informationReducing network cost of many-to-many communication in unidirectional WDM rings with network coding
Reducin network cost of many-to-many communication in unidirectional WDM rins with network codin Lon Lon and Ahmed E. Kamal Department of Electrical and Computer Enineerin, Iowa State University Email:
More informationAspect-oriented programming with AspectJ
Aspect-oriented prorammin with AspectJ & A. Colyer A. Clement Aspect-oriented prorammin (AOP) is an excitin new development in the field of software enineerin. The open-source AspectJt project has taken
More informationLow cost concurrent error masking using approximate logic circuits
1 Low cost concurrent error maskin usin approximate loic circuits Mihir R. Choudhury, Member, IEEE and Kartik Mohanram, Member, IEEE Abstract With technoloy scalin, loical errors arisin due to sinle-event
More informationThe SpecC Methodoloy Technical Report ICS December 29, 1999 Daniel D. Gajski Jianwen Zhu Rainer Doemer Andreas Gerstlauer Shuqin Zhao Department
The SpecC Methodoloy Technical Report ICS-99-56 December 29, 1999 Daniel D. Gajski Jianwen Zhu Rainer Doemer Andreas Gerstlauer Shuqin Zhao Department of Information and Computer Science University of
More informationTETROBOT: A NOVEL MECHANISM FOR RECONFIGURABLE PARALLEL ROBOTICS. Student, Machine Building Faculty, Technical University of Cluj-Napoca
UNIVERSITATEA TRANSILVANIA DIN BRA0OV Catedra Desin de Produs 1i Robotic2 Simpozionul na8ional cu participare interna8ional9 PRoiectarea ASIstat9 de Calculator P R A S I C ' 02 Vol. I Mecanisme 1i Triboloie
More informationReducing Network Cost of Many-to-Many Communication in Unidirectional WDM Rings with Network Coding
1 Reducin Network Cost of Many-to-Many Communication in Unidirectional WDM Rins with Network Codin Lon Lon and Ahmed E. Kamal, Senior Member, IEEE Abstract In this paper we address the problem of traffic
More informationAbstraction Library. Abstraction-Based Specializer
Bandera : Extractin Finite-state Models from Java Source Code James C. Corbett University of Hawai`i Department of Information and Computer Science Honolulu, HI 96822 +1 808 956 6107 corbett@hawaii.edu
More informationProtection of Location Privacy using Dummies for Location-based Services
Protection of Location Privacy usin for Location-based Services Hidetoshi Kido y Yutaka Yanaisawa yy Tetsuji Satoh y;yy ygraduate School of Information Science and Technoloy, Osaka University yyntt Communication
More informationGEODESIC RECONSTRUCTION, SADDLE ZONES & HIERARCHICAL SEGMENTATION
Imae Anal Stereol 2001;20:xx-xx Oriinal Research Paper GEODESIC RECONSTRUCTION, SADDLE ZONES & HIERARCHICAL SEGMENTATION SERGE BEUCHER Centre de Morpholoie Mathématique, Ecole des Mines de Paris, 35, Rue
More informationSCALE SELECTIVE EXTENDED LOCAL BINARY PATTERN FOR TEXTURE CLASSIFICATION. Yuting Hu, Zhiling Long, and Ghassan AlRegib
SCALE SELECTIVE EXTENDED LOCAL BINARY PATTERN FOR TEXTURE CLASSIFICATION Yutin Hu, Zhilin Lon, and Ghassan AlReib Multimedia & Sensors Lab (MSL) Center for Sinal and Information Processin (CSIP) School
More informationTOWARD A UNIFIED INFORMATION SPACE FOR THE SPECIFICATION OF BUILDING PERFORMANCE SIMULATION RESULTS
Ninth International IBPSA Conference Montréal, Canada Auust 15-18, 2005 TOWARD A UNIFIED INFORMATION SPACE FOR THE SPECIFICATION OF BUILDING PERFORMANCE SIMULATION RESULTS Ardeshir Mahdavi, Julia Bachiner,
More informationImproving robotic machining accuracy by real-time compensation
University of Wollonon Research Online Faculty of Enineerin - Papers (Archive) Faculty of Enineerin and Information Sciences 2009 Improvin robotic machinin accuracy by real-time compensation Zeni Pan University
More informationIndoor Presence System Using Wireless LAN
Indoor Presence System Usin Wireless LAN WLAN Position Information Presence Indoor Presence System Usin Wireless LAN NTT DoCoMo has developed an indoor presence system usin mobile terminals with a wireless
More informationModular Design of Fuzzy Controller Integrating Deliberative and. Reactive Strategies. Technical Computer Science, Faculty of Technology,
Modular Desin of Fuzzy Controller Interatin Deliberative and Reactive Strateies Jianwei Zhan, Frank Wille and Alois Knoll Technical Computer Science, Faculty of Technoloy, University of Bielefeld, 33501
More informationA Mobile Robot that Understands Pedestrian Spatial Behaviors
The 00 IEEE/RSJ International Conference on Intellient Robots and Systems October -, 00, Taipei, Taiwan A Mobile Robot that Understands Pedestrian Spatial Behaviors Shu-Yun Chun and Han-Pan Huan, Member,
More informationDRACO: An Adaptive Run-Time Environment for Components
Evolution Manaement and Process for Real-Time Embedded Software Systems DRACO: An Adaptive Run-Time Environment for Components Deliverable D.2.4-D.2.5 Appendix A Written by Yves Vandewoude & Peter Riole,
More informationOptimal Scheduling of Dynamic Progressive Processing
Optimal Schedulin of Dynamic roressive rocessin Abdel-Illah ouaddib and Shlomo Zilberstein Abstract. roressive processin allows a system to satisfy a set of requests under time pressure by limitin the
More informationIssues in Testing Electronic Commerce Systems
Issues in Testing Electronic Commerce Systems Kassem Saleh 1 and Robert Probert University of Ottawa, School of Information Technology and Engineering (SITE) P.O.Box 450, Stn A, Ottawa, Ontario, Canada
More informationSlicing Multi-threaded Java Programs : A Case Study
Slicin Multi-threaded Java Prorams : A Case Study Matthew B. Dwyer y, James C. Corbett z, John Hatcliff y, Stefan Sokolowski y, Honjun Zhen y ydepartment of Computin and Information Sciences Kansas State
More informationLearning Bayesian Networks from Inaccurate Data
Learnin Bayesian Networks from Inaccurate Data A Study on the Effect of Inaccurate Data on Parameter Estimation and Structure Learnin of Bayesian Networks Valerie Sessions Marco Valtorta Department of
More informationEnabling statistical testing for component-based systems
Enabling statistical testing for component-based systems Thomas Bauer, Robert Eschbach Fraunhofer-Institut für Experimentelles Software Engineering IESE Fraunhofer Platz 1 67663 Kaiserslautern, Germany
More informationLearning Geometric Concepts with an Evolutionary Algorithm. Andreas Birk. Universitat des Saarlandes, c/o Lehrstuhl Prof. W.J.
Learnin Geometric Concepts with an Evolutionary Alorithm Andreas Birk Universitat des Saarlandes, c/o Lehrstuhl Prof. W.J. Paul Postfach 151150, 66041 Saarbrucken, Germany cyrano@cs.uni-sb.de http://www-wjp.cs.uni-sb.de/cyrano/
More informationFramework. Fatma Ozcan Sena Nural Pinar Koksal Mehmet Altinel Asuman Dogac. Software Research and Development Center of TUBITAK
Reion Based Query Optimizer Throuh Cascades Query Optimizer Framework Fatma Ozcan Sena Nural Pinar Koksal Mehmet ltinel suman Doac Software Research and Development Center of TUBITK Dept. of Computer Enineerin
More informationSBG SDG. An Accurate Error Control Mechanism for Simplification Before Generation Algorihms
An Accurate Error Control Mechanism for Simplification Before Generation Alorihms O. Guerra, J. D. Rodríuez-García, E. Roca, F. V. Fernández and A. Rodríuez-Vázquez Instituto de Microelectrónica de Sevilla,
More informationIDENTIFICATION OF CONSTITUTIVE AND GEOMETRICAL PARAMETERS OF NUMERICAL MODELS WITH APPLICATION IN TUNNELLING
ECCOMAS Thematic Conference on Computational Methods in Tunnellin (EURO:TUN 2007) J. Eberhardsteiner et.al. (eds.) Vienna, Austria, Auust 27-29, 2007 IDENTIFICATION OF CONSTITUTIVE AND GEOMETRICAL PARAMETERS
More informationDetecting Graph-Based Spatial Outliers: Algorithms and Applications(A Summary of Results) Λ y
Detectin Graph-Based Spatial Outliers: Alorithms and Applications(A Summary of Results) Λ y Shashi Shekhar Department of Computer Science and Enineerin University of Minnesota 2 Union ST SE, 4-192 Minneapolis,
More informationGDAŃSK UNIVERSITY OF TECHNOLOGY FACULTY OF ETI ANNALS No 8 Information technologies 2010
GDAŃSK UNIVERSITY OF TECHNOLOGY FACULTY OF ETI ANNALS No 8 Information technoloies 2010 Piotr Szwed, Jan Werewka, Grzeorz Rous AGH University of Science and Technoloy, Institute of Automatics ONTOLOGY
More informationA Combined Delay and Throughput Proportional Scheduling Scheme for Differentiated Services
A Combined Delay and Throuhput Proportional Schedulin Scheme for Differentiated Services Samyukta Sankaran and Ahmed E.Kamal Department of Electrical and Computer Enineerin Iowa State University Ames,
More informationLuca Benini Davide Bruni Alberto Macii Enrico Macii. Bologna, ITALY Torino, ITALY 10129
Hardware-Assisted Data for Enery Minimization in Systems with Embedded Processors Luca Benini Davide Bruni Alberto Macii Enrico Macii Universita di Bolona Politecnico di Torino Bolona, ITALY 40136 Torino,
More informationEfficient Generation of Large Amounts of Training Data for Sign Language Recognition: A Semi-Automatic Tool
Efficient Generation of Lare Amounts of Trainin Data for Sin Lanuae Reconition: A Semi-Automatic Tool Ruiduo Yan, Sudeep Sarkar, Barbara Loedin, and Arthur Karshmer University of South Florida, Tampa,
More informationIn Proceedings of ICPP 90, The 1990 International Conference on Parallel Processing, Chicago,Illinois, August 1990.
In Proceedins of IPP 9, The 99 International onference on Parallel Processin, hicao,illinois, uust 99. SETH VLSI HIP FOR THE REL-TIME INFORMTION DISPERSL ND RETRIEVL FOR SEURITY ND FULT-TOLERNE zer estavros
More informationMiddleware for Semantic Multicast in Spontaneous Multi-hop Networks
Middleware for Semantic Multicast in Spontaneous Multi-hop Networks Paolo Bellavista Carlo Giannelli 13.11.2012 - Mobilware'12 DISI, Università di Bolona Viale Risorimento, 2-40136 Bolona Italy paolo.bellavista@unibo.it
More informationMinimum-Cost Multicast Routing for Multi-Layered Multimedia Distribution
Minimum-Cost Multicast Routin for Multi-Layered Multimedia Distribution Hsu-Chen Chen and Frank Yeon-Sun Lin Department of Information Manaement, National Taiwan University 50, Lane 144, Keelun Rd., Sec.4,
More informationSingle device test requirements for reliable CAN-Based multi-vendor networks
Single device test requirements for reliable CAN-Based multi-vendor networks Peter P. Dierauer By building a system with an open device-level network, the system designer has the option to choose devices
More informationIBM Thomas J. Watson Research Center. Yorktown Heights, NY, U.S.A. The major advantage of BDDs is their eciency for a
Equivalence Checkin Usin Cuts and Heaps Andreas Kuehlmann Florian Krohm IBM Thomas J. Watson Research Center Yorktown Heihts, NY, U.S.A. Abstract This paper presents a verication technique which is specically
More informationA Genetic Algorithm for Packing Three-Dimensional Non-Convex. Objects Having Cavities and Holes. Engineering Math and Computer Science Dept
A Genetic Alorithm for Packin Three-Dimensional Non-Convex Objects Havin Cavities and Holes Ilkka Ikonen William E. Biles Department of Industrial Enineerin University of Louisville Louisville, KY 40292
More informationONE BUSINESS - ONE APP TROUBLESHOOTING MANUAL
ONE BUSINESS - ONE APP TROUBLESHOOTING MANUAL 1 In the unlikely event that Shopbox appears to act a little lazy and some of its functions refuse to follow your orders, there is no reason to panic. Most
More information[2] Gregory R. Andrews. Concurrent Programming: Principles and Practice. [3] K. M. Chandy and C. Kesselman. CC++: A declarative concurrent object
References [1] W. B. Ackerman. Data ow lanuaes. IEEE Computer, 15(2):15{25, February 1982. [2] Greory R. Andrews. Concurrent Prorammin: Principles and Practice. Benjamin/Cummins, Redwood City, CA, 1991.
More informationAffinity Hybrid Tree: An Indexing Technique for Content-Based Image Retrieval in Multimedia Databases
Affinity Hybrid Tree: An Indexin Technique for Content-Based Imae Retrieval in Multimedia Databases Kasturi Chatterjee and Shu-Chin Chen Florida International University Distributed Multimedia Information
More informationDYNAMIC COUPLING OF UNDERACTUATED MANIPULATORS
Proceedins of the 4th IEEE Conference on Control Applications, Albany, USA, Sep. 1995, pp. 5-55. DYNAMIC COUPLING OF UNDERACTUATED MANIPULATORS Marcel Bererman Christopher Lee Yanshen Xu The Robotics Institute
More informationEnergy-Conscious Co-Scheduling of Tasks and Packets in Wireless Real-Time Environments
Enery-Conscious Co-Schedulin of Tasks and Packets in Wireless Real- Environments Jun Yi, Christian Poellabauer, Xiaobo Sharon Hu, Jeff Simmer Department of Computer Science and Enineerin University of
More informationIN this paper, we establish the computational complexity of optimally solving multi-robot path planning problems
Intractability of Optimal Multi-Robot Path Plannin on Planar Graphs Jinjin Yu Abstract arxiv:504.007v3 [cs.ro] 6 Dec 05 We study the computational complexity of optimally solvin multi-robot path plannin
More informationCode Optimization Techniques for Embedded DSP Microprocessors
Code Optimization Techniques for Embedded DSP Microprocessors Stan Liao Srinivas Devadas Kurt Keutzer Steve Tjian Albert Wan MIT Department of EECS Synopsys, Inc. Cambride, MA 02139 Mountain View, CA 94043
More informationSE 1: Software Requirements Specification and Analysis
SE 1: Software Requirements Specification and Analysis Lecture 4: Basic Notations Nancy Day, Davor Svetinović http://www.student.cs.uwaterloo.ca/ cs445/winter2006 uw.cs.cs445 U Waterloo SE1 (Winter 2006)
More informationOn the Load Balancing of Multicast Routing in Multi-Channel Multi-Radio Wireless Mesh Networks with Multiple Gateways
206 IJCSNS International Journal of Computer Science and Networ Security, VOL.17 No.3, March 2017 On the Load Balancin of Multicast Routin in Multi-Channel Multi-Radio Wireless Mesh Networs with Multiple
More informationOn Defending Peer-to-Peer System-based Active Worm Attacks
This full text paper was peer reviewed at the direction of IEEE Communications Society subject matter experts for publication in the IEEE GLOBECOM 25 proceedins. On Defendin eer-to-eer System-based Active
More informationOCC and Its Variants. Jan Lindström. Helsinki 7. November Seminar on real-time systems UNIVERSITY OF HELSINKI. Department of Computer Science
OCC and Its Variants Jan Lindström Helsinki 7. November 1997 Seminar on real-time systems UNIVERSITY OF HELSINKI Department o Computer Science Contents 1 Introduction 1 2 Optimistic Concurrency Control
More informationDSL Design. Overview of DSLE. DSL Design. DSL Desing. Domain specific languages
Overview of DSLE Model driven software enineerin in eneral Grammars, and meta-models Code eneration Model-driven enineerin Goal: Raisin the level of abstraction from the computin domain to the problem
More informationEfficient and Provably Secure Ciphers for Storage Device Block Level Encryption
Efficient and Provably Secure Ciphers for Storae Device Block evel Encryption Yulian Zhen SIS Department, UNC Charlotte yzhen@uncc.edu Yone Wan SIS Department, UNC Charlotte yonwan@uncc.edu ABSTACT Block
More informationLearning Deep Features for One-Class Classification
1 Learnin Deep Features for One-Class Classification Pramuditha Perera, Student Member, IEEE, and Vishal M. Patel, Senior Member, IEEE Abstract We propose a deep learnin-based solution for the problem
More informationDECISION SUPPORT SYSTEM AND REGULATION SYSTEM FOR ROAD TRAFFIC MANAGEMENT
DECISION SUPPORT SYSTEM AND REGULATION SYSTEM FOR ROAD TRAFFIC MANAGEMENT E-mail: Sylvain Lerebour, Antoine Dutot, Cyrille Bertelle and Damien Olivier Laboratoire d Informatique du Havre, 5 rue Philippe
More informationTest requirements in networked systems
Test requirements in networked systems Jürgen Klüser, Vector Informatik GmbH The use of CAN with J1939 or CANopen based higher layers leads to cost efficient and flexible solutions, but together with a
More informationVirtual Validation of Cyber Physical Systems
Virtual Validation of Cyber Physical Systems Patrik Feth, Thomas Bauer, Thomas Kuhn Fraunhofer IESE Fraunhofer-Platz 1 67663 Kaiserslautern {patrik.feth, thomas.bauer, thomas.kuhn}@iese.fraunhofer.de Abstract:
More informationThe Role of Switching in Reducing the Number of Electronic Ports in WDM Networks
1 The Role of Switchin in Reducin the Number of Electronic Ports in WDM Networks Randall A. Berry and Eytan Modiano Abstract We consider the role of switchin in minimizin the number of electronic ports
More informationModule. Sanko Lan Avi Ziv Abbas El Gamal. and its accompanying FPGA CAD tools, we are focusing on
Placement and Routin For A Field Prorammable Multi-Chip Module Sanko Lan Avi Ziv Abbas El Gamal Information Systems Laboratory, Stanford University, Stanford, CA 94305 Abstract Placemen t and routin heuristics
More informationDevelopment and Verification of an SP 3 Code Using Semi-Analytic Nodal Method for Pin-by-Pin Calculation
Journal of Physical Science and Application 7 () (07) 0-7 doi: 0.765/59-5348/07.0.00 D DAVID PUBLISHIN Development and Verification of an SP 3 Code Usin Semi-Analytic Chuntao Tan Shanhai Nuclear Enineerin
More informationGrooming Multicast Traffic in Unidirectional SONET/WDM Rings
1 Groomin Multicast Traffic in Unidirectional SONET/WDM Rins Anuj Rawat, Richard La, Steven Marcus and Mark Shayman Abstract In this paper we study the problem of efficient roomin of iven non-uniform multicast
More informationOptimal design of Fresnel lens for a reading light system with. multiple light sources using three-layered Hierarchical Genetic.
Optimal desin of Fresnel lens for a readin liht system with multiple liht sources usin three-layered Hierarchical Genetic Alorithm Wen-Gon Chen, and Chii-Maw Uan Department of Electrical Enineerin, I Shou
More informationSIMPACK: GETTING STARTED WITH SIMULATION PROGRAMMING IN C AND C++ Paul A. Fishwick. University of Florida. Bldg. CSE, Room 301
SIMPACK: GETTING STARTED WITH SIMULATION PROGRAMMING IN C AND C++ Paul A. Fishwick Dept. of Computer & Information Science University of Florida Bld. CSE, Room 301 Gainesville, FL 32611 ABSTRACT SimPack
More informationProbabilistic Gaze Estimation Without Active Personal Calibration
Probabilistic Gaze Estimation Without Active Personal Calibration Jixu Chen Qian Ji Department of Electrical,Computer and System Enineerin Rensselaer Polytechnic Institute Troy, NY 12180 chenji@e.com qji@ecse.rpi.edu
More informationCOMPLETED LOCAL DERIVATIVE PATTERN FOR ROTATION INVARIANT TEXTURE CLASSIFICATION. Yuting Hu, Zhiling Long, and Ghassan AlRegib
COMPLETED LOCAL DERIVATIVE PATTERN FOR ROTATION INVARIANT TEXTURE CLASSIFICATION Yutin Hu, Zhilin Lon, and Ghassan AlReib Multimedia & Sensors Lab (MSL) Center for Sinal and Information Processin (CSIP)
More informationJHDL - An HDL for Reconfigurable Systems Λ
- An HDL for Reconfiurable Systems Λ Peter Bellows and Brad Hutchins y Department of Electrical and Computer Enineerin Briham Youn University, Provo, UT 84602 bellowsp@ee.byu.edu, hutch@ee.byu.edu Abstract
More informationSurvey on Error Control Coding Techniques
Survey on Error Control Codin Techniques Suriya.N 1 SNS Collee of Enineerin, Department of ECE, surikala@mail.com S.Kamalakannan 2 SNS Collee of Enineerin, Department of ECE, kamalakannan.ap@mail.com Abstract
More informationUser Authentication and Authorization in the Java TM Platform
User Authentication and Authorization in the Java TM Platform Charlie Lai Li Gon Larry Koved Anthony Nadalin Roland Schemers Sun Microsystems, Inc. charlie.lai,li.on@sun.com International Business Machines,
More informationEasing Administration in Football A guide to online services for clubs, leagues, referees and coaches
Easin Administration in Football A uide to online services for clubs, leaues, referees and coaches Contents Full-Time The FA s Free Leaue Administration System 01 Members Services 06 How to et online as
More informationIncommunicado: Efficient Communication for Isolates
Incommunicado: Efficient Communication for Isolates Krzysztof Palacz Grzeorz Czajkowski y Laurent Daynès y Jan Vitek S 3 Lab, Dept of Computer Sciences, Purdue University, West Lafayette, IN, USA y Sun
More informationConformity Assessment Schemes and Interoperability Testing (1) Keith Mainwaring ITU Telecommunication Standardization Bureau (TSB) Consultant
Conformity Assessment Schemes and Interoperability Testing (1) Keith Mainwaring ITU Standardization Bureau (TSB) Consultant Moscow, 9-11 november 2011 Contents The benefits of conformity assessment Conformity
More informationElectrical Power System Harmonic Analysis Using Adaptive BSS Algorithm
Sensors & ransducers 2013 by IFSA http://www.sensorsportal.com Electrical Power System Harmonic Analysis Usin Adaptive BSS Alorithm 1,* Chen Yu, 2 Liu Yuelian 1 Zhenzhou Institute of Aeronautical Industry
More informationNumerical integration of discontinuous functions: moment fitting and smart octree
Noname manuscript No. (will be inserted by the editor) Numerical interation of discontinuous functions: moment fittin and smart octree Simeon Hubrich Paolo Di Stolfo László Kudela Stefan Kollmannsberer
More informationLEGEND. Cattail Sawgrass-Cattail Mixture Sawgrass-Slough. Everglades. National. Park. Area of Enlargement. Lake Okeechobee
An Ecient Parallel Implementation of the Everlades Landscape Fire Model Usin Checkpointin Fusen He and Jie Wu Department of Computer Science and Enineerin Florida Atlantic University Boca Raton, FL 33431
More informationx y x mod p g y mod p K= g xy mod p Alice Eve Bob g g x mod p x mod p g y y mod p y mod p K1= g mod p K2= g mod p
6.857 Computer and Network Security Fall Term, 1997 Lecture 15 : October 23rd, 1997 Lecturer: Ron Rivest Scribe: Ben Adida 1 Topics Covered An Active Attack on RSA smart cards Secure Channels over Insecure
More informationFrom Object-Z speci cation to Groovy implementation
Scientia Iranica D (2018) 25(6), 3415{3441 Sharif University of Technoloy Scientia Iranica Transactions D: Computer Science & Enineerin and Electrical Enineerin http://scientiairanica.sharif.edu From Object-Z
More informationA Derandomized Approach to Self Adaptation of. Evolution Strategies. Technische Universitat Berlin. Ackerstrae (ACK1) D Berlin
A Derandomized Approach to Self Adaptation of Evolution Strateies Andreas Ostermeier, Andreas Gawelczyk & Nikolaus Hansen Technische Universitat Berlin Fachebiet Bionik und Evolutionstechnik Ackerstrae
More informationImplementation and Experimental Evaluation of. Graph Connectivity Algorithms using LEDA. Abstract
Implementation and Experimental Evaluation of Graph Connectivity Alorithms usin LEDA Panaiota Fatourou y Paul Spirakis z Panaiotis Zaradis x Anna Zoura x Abstract In this paper we describe robust and ecient
More informationFault Class Prioritization in Boolean Expressions
Fault Class Prioritization in Boolean Expressions Ziyuan Wang 1,2 Zhenyu Chen 1 Tsong-Yueh Chen 3 Baowen Xu 1,2 1 State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093,
More informationChapter 5 THE MODULE FOR DETERMINING AN OBJECT S TRUE GRAY LEVELS
Qian u Chapter 5. Determinin an Object s True Gray evels 3 Chapter 5 THE MODUE OR DETERMNNG AN OJECT S TRUE GRAY EVES This chapter discusses the module for determinin an object s true ray levels. To compute
More informationCoarse Grained Parallel Maximum Matching In Convex Bipartite Graphs
Coarse Grained Parallel Maximum Matchin In Convex Bipartite Graphs P. Bose, A. Chan, F. Dehne, and M. Latzel School o Computer Science Carleton University Ottawa, Canada K1S 5B6 jit,achan,dehne,mlatzel@scs.carleton.ca
More informationin two important ways. First, because each processor processes lare disk-resident datasets, the volume of the communication durin the lobal reduction
Compiler and Runtime Analysis for Ecient Communication in Data Intensive Applications Renato Ferreira Gaan Arawal y Joel Saltz Department of Computer Science University of Maryland, Collee Park MD 20742
More informationNonprofit Training Manual
Nonprofit Trainin Manual Introduction 2 What is GiveSmartOKC? 2 Benefits for your nonprofit 2 How does it work? 2 Timeline 2 Before you Bein 3 Nonprofit trainin and your Coach 3 Documents/Information needed
More informationSRW01. Smart Relay. Motors Automation Energy Coatings USASRW09. g Modular concept. g Network communication. g Built in motor protection
Motors Automation Enery Coatins SRW01 Smart Relay Modular concept Network communication Built in motor protection State of the art tech USASRW09 www.we.net Smart Relays - SRW01 Series The SRW01 is a low-voltae
More informationHCE: A New Channel Exchange Scheme for Handovers in Mobile Cellular Systems
129 HCE: A New Channel Exchane Scheme for Handovers in Mobile Cellular Systems DNESH K. ANVEKAR* and S. SANDEEP PRADHAN Department of Electrical Communication Enineerin ndian nstitute of Science, Banalore
More informationto chanes in the user interface desin. By embeddin the object-oriented, interpreted lanuae into the application, it can also be used as a tool for rer
Usin C++ Class Libraries from an Interpreted Lanuae Wolfan Heidrich, Philipp Slusallek, Hans-Peter Seidel Computer Graphics Department, Universitat Erlanen-Nurnber Am Weichselarten 9, 91058 Erlanen, Germany.
More informationMulti-Product Floorplan and Uncore Design Framework for Chip Multiprocessors
Multi-Product Floorplan and Uncore Desin Framework for hip Multiprocessors Marco scalante, Andrew B Kahn, Michael Kishinevsky, Umit Oras and Kambiz Samadi Intel orp, Hillsboro, OR, and S Departments, University
More informationSMART Classroom Suite 2011
SMART Classroom Suite 2011 Windows operatin systems Installation uide Product reistration If you reister your SMART product, we ll notify you of new features and software uprades. Reister online at smarttech.com/reistration.
More informationUsing models in the integration and testing process
Chapter 8 Using models in the integration and testing process Authors: N.C.W.M. Braspenning, J.M. van de Mortel-Fronczak, D.O. van der Ploeg, J.E. Rooda 8.1 Introduction This chapter, which is based on
More information1 Theory 1 (CSc 473): Automata, Grammars, and Lanuaes For any strin w = w 1 w 2 :::w n, define w R to be the reversal of w: w R = w n w n 1 :::w 1. Su
Masters Examination Department of Computer Science March 27, 1999 Instructions This examination consists of nine problems. The questions are in three areas: 1. Theory and Alorithms: CSc 473, 545, and 573;
More information