Filters








190,069 Hits in 6.7 sec

Using threads in interactive systems

Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch, Mark Weiser
1993 Proceedings of the fourteenth ACM symposium on Operating systems principles - SOSP '93  
We describe the results of examining two large research and commercial systems for the ways that they use threads. We used three methods  ...  We believe that the systems we examined are the largest and longest-used thread-based interactive systems in everyday use in the world. They are both in use and under continual development.  ...  Sections 5 and 6 present some engineering lessonsboth for implementors using threads and for implementors of thread systems-from this study.  ... 
doi:10.1145/168619.168627 dblp:conf/sosp/HauserJTWW93 fatcat:soccu6zpszdcjll7llwntrgcdi

Using threads in interactive systems

Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch, Mark Weiser
1993 ACM SIGOPS Operating Systems Review  
We describe the results of examining two large research and commercial systems for the ways that they use threads. We used three methods  ...  We believe that the systems we examined are the largest and longest-used thread-based interactive systems in everyday use in the world. They are both in use and under continual development.  ...  Sections 5 and 6 present some engineering lessonsboth for implementors using threads and for implementors of thread systems-from this study.  ... 
doi:10.1145/173668.168627 fatcat:4xbjfurnxnf2vdftxeysgdada4

Modelling a CPS Swarm System: A Simple Case Study

Melanie Schranz, Alessandra Bagnato, Etienne Brosse, Wilfried Elmenreich
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
Modelling a CPS Swarm System: A Simple Case Study.  ...  The example problem is further used to show the integration of Modelio, a UML/SysML modelling tool, and FREVO, an optimization tool in the CPSwarm workbench. 2 https://cpswarm.eu Schranz, M., Bagnato,  ...  As a case study, a pro- blem named emergency exit was chosen.  ... 
doi:10.5220/0006731106150624 dblp:conf/modelsward/SchranzBBE18 fatcat:vwgpyktchjbgvnuhxec5sm4pwe

Integrated MCDA: A Simulation Case Study [chapter]

Valerie Belton, Mark Elder
1998 Lecture notes in economics and mathematical systems  
In this case study simulation and multicriteria analysis have been integrated, using the softwares Simul8 and V•I•S•A , to provide a decision support tool for the airport Planning Manager.  ...  The DSS will be used in the short term to allocate check-in time slots in a way which achieves effective management of queues and utilization of the desks; in the longer term it will inform the allocation  ...  In section 3 we describe a case study in which simulation and multicriteria analysis are used in an integrated way to examine the problem of allocating check-in desks to airlines at a UK regional airport  ... 
doi:10.1007/978-3-642-45772-2_29 fatcat:elmige47y5fkhohsdhr6y27y5u

A Case Study on a Component-Based System and Its Configuration [chapter]

Hiroo Ishikawa, Tatsuo Nakajima
2003 Lecture Notes in Computer Science  
The case study revealed several problems to use the current component framework when configuring software.  ...  The purpose of this paper is to investigate system configurations on a component-based system and the side effects of the configurations.  ...  The case studies described in this section show the implicit inter-component dependencies appeared when configuring a system. We have examined the following three cases: Replacing Thread Scheduler.  ... 
doi:10.1007/978-3-540-39920-9_14 fatcat:yd5qoaz4ynabreymue2o57hxhm

Systematic Correct Construction of Self-stabilizing Systems: A Case Study [chapter]

Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
2010 Lecture Notes in Computer Science  
In BIP, a system is modeled as the composition of a set of atomic components by using two types of operators: interactions describing synchronization constraints between components, and priorities to specify  ...  First, a high-level model of the algorithm is built in BIP from the set of its processes by using powerful primitives for multi-party interactions and scheduling.  ...  In this paper, we use a multi-threaded implementation in order to conduct guided simulations for estimating performance of distributed reset.  ... 
doi:10.1007/978-3-642-16023-3_4 fatcat:scrqkkfterbe7bpbpe7mrvyrmq

Toward a Service-Oriented Development Through a Case Study

Jia Zhang, Carl K. Chang, Liang-Jie Zhang, Patrick C. K. Hung
2007 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
In accordance with how a PTA service is developed and integrated with a corresponding back-end e-payment system, our strategies can be categorized in three stages: end-to-end integration stage, Web-services-enabled  ...  design and development model toward a reusable Web-services-oriented model.  ...  As shown in our case I EFFORTS SPENT ON EACH TASK OF THE CASE STUDY study, the concept of Web services helps us solve all the problems.  ... 
doi:10.1109/tsmca.2007.904820 fatcat:wrlvhuc6xjbqtobnsylko5xhja

ORGANIZATIONALLY-AGNOSTIC BUSINESS MODELING: A CASE STUDY

2012 Issues in Information Systems  
This paper shows how, in particular, activity and swim-lane models can be used to model the top-level operational processes in a way that enables organizational change.  ...  A US government organization had an urgent need to develop their business architecture.  ...  In addition, it uses a mailbox through which RFIs can be readily submitted and automated tools to conduct some of its analysis.  ... 
doi:10.48009/2_iis_2012_404-410 fatcat:uk7cexhs3nfrzcjtdkmkhoqnja

A Case Study in Formal System Engineering with SysML

Iulia Dragomir, Iulian Ober, David Lesens
2012 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems  
In response, organizations that develop such systems are searching for solutions allowing formal system engineering and system to software bridging, based on standard languages like SysML.  ...  This paper reports on the experience of modelling and validating an industry-grade system, the Solar Generation System (SGS) of the Automated Transfer Vehicle (ATV) built by Astrium, using IFx-OMEGA.  ...  The case study shows how a formal system engineering approach helps increasing the confidence in system design models, which are used as starting point in the subsequent development steps.  ... 
doi:10.1109/iceccs20050.2012.6299214 fatcat:s3juunljqfd6ljqm654vhoyrrm

A case study of multi-threading in the embedded space

Greg Hoover, Forrest Brewer, Timothy Sherwood
2006 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems - CASES '06  
While multi-threading is typically used to improve resource utilization, in the embedded space it can provide zero-cycle context switching and interrupt service threads (IST), enabling complex programmable  ...  To explore the advantages of multi-threading on these embedded problems, we have implemented in hardware a family of controllers supporting eight dynamically interleaved threads and executing the AVR instruction  ...  While the case for interrupt service threads has been made before, no one to date has conducted a careful study of embedded multi-threading that quantified the ramifications from the circuit level all  ... 
doi:10.1145/1176760.1176803 dblp:conf/cases/HooverBS06a fatcat:5pvevvjs3rc27fnxa2gabefecq

The olympus attitude and orbital control system A case study in hard real-time system design and implementation [chapter]

A. Burns, A. J. Wellings, C. M. Bailey, E. Fyfe
1993 Lecture Notes in Computer Science  
The system was designed using HRT-HOOD, analysed using Deadline Monotonic Scheduling Analysis, and implemented on a M68020-based system using a modified York compiler and run-time support system (the modifications  ...  This paper describes the details of, and the experiences gained from, a case study undertaken by the authors on the design and re-implementation of the Olympus Satellite's Attitude and Orbital Control  ...  The Operating System The YSE Ada compiler 1 and a modified stand-alone run-time kernel has been used in this study.  ... 
doi:10.1007/3-540-56802-6_3 fatcat:5lfv3h74yzforkuotpy3qq23z4

Mobile Manipulation: A Case Study [chapter]

A. Hentout, B. Bouzouia, I. Akli, R. Toumi
2010 Robot Manipulators New Achievements  
media and a wireless video transmission system.  ...  The experimental robotic system, given by Fig. 1 , consists of a Local (Operator) site and a Remote site, connected by wireless communication systems:  Local site: it includes an off-board PC running  ...  ., 2004 ) describe a multi-agent control system to a service mobile manipulator that interacts with human during an object delivery and hand-over task in two dimensions.  ... 
doi:10.5772/9324 fatcat:hkg2rbaus5bs5jcudfrcuyroei

Java server performance: A case study of building efficient, scalable Jvms

R. Dimpsey, R. Arora, K. Kuiper
2000 IBM Systems Journal  
The importance of the Java TM platform has shifted from a client-centered paradigm to the server. In particular, the Java language has matured into a viable programming model for server applications.  ...  The authors' specific contributions include the three-tier spin lock, the thread local heap and freelist merge, the dynamic heap growth algorithm, bitwise sweep, compaction avoidance, and the suite of  ...  A popular industry benchmark, VolanoMark 2.1.2, 20 is used for the throughput and scaling study.  ... 
doi:10.1147/sj.391.0151 fatcat:pzh4f5yrcrdaflpwrkidw77yk4

A Hybrid Approach for Selecting a Course Management System: A Case Study

Anil Aggarwal, Veena Adlakha, Terry Ross
2012 Journal of Information Technology Education Innovations in Practice  
The case study could assist current and future Web course faculty in selecting a CMS to suit their teaching needs.  ...  This paper addresses a hybrid approach used to select a course management system for a mid-Atlantic university.  ...  In this paper, we provided one case study where one university developed a survey using desirable criteria discussed in Adlakha and Aggarwal (2009) for the selection process of a new improved CMS to  ... 
doi:10.28945/1719 fatcat:egslaqqfmnh5fhcwui3zjdnp3q

Java as a systems programming language: three case studies [chapter]

J. M. Bishop
1998 IFIP Advances in Information and Communication Technology  
Java is the newest in a long line of systems programming languages. This paper looks at what makes it special and backs the findings up with three case studies.  ...  In general the results are positive and Java comes out as a worthy language for undertaking research in distributed systems.  ...  The third application of the web skeleton is the open spatial query system of Case study B.  ... 
doi:10.1007/978-0-387-35350-0_6 fatcat:37g3uwxmxnccpc655qr6f55iki
« Previous Showing results 1 — 15 out of 190,069 results