Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 2533 for “"Concurrent"”.
-
Concurrent cost estimating
A methodology for concurrent cost estimating is proposed, developed, and demonstrated. The approach is novel in that the traditional means of process planning is exploited without being time-consuming and iterative, as is typical. Design abstractions are used to characterize the component …
-
A concurrent debugger
Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1984.
-
Expressiveness of Concurrent Languages
… for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where …
-
Probabilistic concurrent game semantics
… programming languages in the framework of concurrent games. Our starting point is the model of concurrent games with symmetry of Castellan, Clairambault and Winskel. We show that they form a symmetric monoidal closed bicategory, and that this can be turned into a cartesian closed bicategory …
-
The integrated concurrent enterprise
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics; and, (S.M.)--Massachusetts Institute of Technology, Sloan School of Management; in conjunction with the Leaders for Manufacturing Program at MIT, 2003.
-
Relaxed concurrent ordering structures
Efficient implementations of concurrent ordering structures, including stacks, queues, and priority queues, have long been elusive due to an inherent bottleneck on the 'head' element. We argue that classical semantics which are easy to support in sequential settings are stronger than necessary for …
-
Changeover delay and concurrent schedules
… the effects of changeover delay (COD) on concurrent variable-interval schedule performance. The first experiment involved manipulations of the relative reinforcement rates on the two schedules presented on two separate keys while holding the COD constant over a series of COD durations from …
-
On Conflicts in Concurrent Systems
… studies conflicts. A conflict is a bug in concurrent systems where one or more components of the system may potentially be blocked from completing their task. This dissertation investigates how nonconflicting completions may be used to characterise the situations in which individual …
-
Concurrent Whitening and Orthodontic Treatment
… conclusion, the data do not contraindicate the concurrent accomplishment of teeth whitening during orthodontic treatment.
-
Concurrent verification for sequential programs
… When an assertion made in one thread of a concurrent system cannot be invalidated by the actions of other threads, that assertion is said to be 'stable'. Stability is normally enforced through side-conditions on rely-guarantee proof rules. This dissertation proposes instead to encode …
-
Collaborative concurrent mapping and localization
… to build maps of an unknown environment while concurrently using these maps for navigation. Current algorithms for this concurrent mapping and localization (CML) problem have been implemented for single vehicles, but do not account for extra positional information available when multiple …
-
Concurrent gate-level circuit simulation
In the last several years, parallel computing on multicore processors has transformed from a niche discipline relegated primarily to scientific computing into a standard component of highperformance personal computers. At the same time, simulating processors prior to manufacture has become …
-
A concurrent video compression system
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
Safe Concurrent Programming and Execution
… parallelization techniques, the subtleties of concurrent programming are known to introduce concurrency bugs. Due to the potential of concurrency bugs, programmers find it hard to write correct concurrent code. To take full advantage of parallel shared memory platforms, application programmers …
-
An inherently concurrent language : a translator
Typescript (photocopy).
-
Concurrent Schedule Performance with Young Infants
… behaviors which terminate experimental sessions. Concurrent reinforcement schedules provide a methodology for demonstrating schedule control over the response without relying on extinction sessions. The purpose of this study is to determine whether infant responding can be acquired, maintained, …
-
Concurrent Transmission with Adaptive Forwarder Set
Precisely-timed concurrent transmission(CX) is relatively new in wireless sensor network (WSN), and protocols based on CX can implement reliable and conceptually simple flooding mechanism. These protocols work well; however, they are intrinsically energy inefficient for non-flooding traffic models, …
-
Attribution Standardization for Integrated Concurrent Engineering
Product design is a creative process, often subject to rapid and numerous design change requirements. To facilitate geometric redesign iterations, Parametric Computer-Aided Design CAD) systems were introduced. To manage the numerous product design iterations produced by parametric CAD systems, …
-
Program Speedup Through Concurrent Record Processing
Made available in DSpace on 2014-12-10T20:13:44Z (GMT). No. of bitstreams: 1 7511635.pdf: 5477296 bytes, checksum: e357845fc491f91fa6e9e4956fd93b81 (MD5) Previous issue date: 1974
-
Taming implicit synchronizations in concurrent programs
… make synchronizations correct. As a consequence, concurrent programs are vulnerable to concurrency bugs and fail during run-time. Many synchronizations in existing multithreaded programs are implicit. They are either implemented in an ad hoc way, or customized by programmers to be application …
Page 1 of 127