The different levels of intent specifications : analysis and guidelines on tracing

The different levels of intent specifications : analysis and guidelines on tracing

Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.

Chi tiết về thư mục
Tác giả chính:	Meléndez Díaz, William J., 1979-
Tác giả khác:	Nancy Leveson.
Định dạng:	Luận văn
Ngôn ngữ:	eng
Được phát hành:	Massachusetts Institute of Technology 2014
Những chủ đề:	Electrical Engineering and Computer Science.
Truy cập trực tuyến:	http://hdl.handle.net/1721.1/86689

Những quyển sách tương tự

TCP packet trace analysis
Bằng: Shepard, Timothy Jason
Được phát hành: (2005)

Trace reconstruction problem
Bằng: Pacchiano, Aldo
Được phát hành: (2014)

Automating modular program verification by refining specifications
Bằng: Taghdiri, Mana, 1979-
Được phát hành: (2008)

Computational tools for including specificity in protein design
Bằng: Park, Daniel J. (Daniel John), 1979-
Được phát hành: (2014)

Reduced traces and JITing in Church
Bằng: Wu, Jeff (Jeffrey K.)
Được phát hành: (2014)

Improving test suites via generated specifications
Bằng: Harder, Michael (Michael James), 1979-
Được phát hành: (2014)

Architectural implications of bit-level computation in communication applications
Bằng: Wentzlaff, David, 1979-
Được phát hành: (2014)

Traitor tracing through function sharing
Bằng: Çelebiler, Cem
Được phát hành: (2007)

A prediction model for ray tracing
Bằng: Lebovitz, Marc A. (Marc Adam), 1975-
Được phát hành: (2013)

Runtime execution tracing and alignment with PANDA
Bằng: Goggin, Leah(Leah G.)
Được phát hành: (2020)

Multi-hop wireless relay using Bluetooth specification
Bằng: Moy, Richard K. (Richard Ken), 1979-
Được phát hành: (2006)

A constraint solver for software engineering : finding models and cores of large relational specifications
Bằng: Torlak, Emina, 1979-
Được phát hành: (2009)

Program synthesis from execution traces and demonstrations
Bằng: Yessenov, Kuat T
Được phát hành: (2016)

Interactive ray tracing of VRML scenes in Java
Bằng: Glazer, Brendon C. (Brendon Charles), 1975-
Được phát hành: (2013)

Parallel ray tracing for real time animation
Bằng: Perales, Remigio
Được phát hành: (2007)

Intent-aware collision avoidance for autonomous marine vehicles
Bằng: Leavitt, Joseph William
Được phát hành: (2017)

Nearly tight oblivious subspace embeddings by trace inequalities
Bằng: Cohen, Michael Benjamin.
Được phát hành: (2016)

Radiance interpolants for interactive scene editing and ray tracing
Bằng: Bala, Kavita
Được phát hành: (2013)

Design of trace caches for high bandwidth instruction fetching
Bằng: Sung, Michael, 1975-
Được phát hành: (2009)

Automatic generation and checking of program specifications
Bằng: Nimmer, Jeremy W. (Jeremy William), 1978-
Được phát hành: (2014)

Virtual merging of Ecoin applications and guidelines for building ontologies
Bằng: Anwar, Faisal R. (Faisal Riaz), 1981-
Được phát hành: (2005)

A concurrent ray tracing algorithm using distributed symmetric processes
Bằng: McFarlane, Delano Junior
Được phát hành: (2008)

Trace Checking with Real−Time Specifications
Bằng: Deutschmann, R, et al.
Được phát hành: (2004)

High level compilation for gate reconfigurable architectures
Bằng: Babb, Jonathan William
Được phát hành: (2005)

Spacecraft computing systems with high-level specifications and FPGAs
Bằng: Ong, Elwin, 1979-
Được phát hành: (2007)

Design and implementation of intentional names
Bằng: Schwartz, Elliot, 1975-
Được phát hành: (2013)

Ray-tracing implicit functions
Bằng: Stephani Puspita Kurniawan
Được phát hành: (2014)

Analysis and acceleration for target recognition
Bằng: Ramanathan, Jairam, 1979-
Được phát hành: (2014)

Reconstruction and analysis of dynamic shapes
Bằng: Vlasic, Daniel, 1979-
Được phát hành: (2011)

Visualization framework for software design analysis
Bằng: Lin, Likuo, 1979-
Được phát hành: (2014)

Energy economy gait analysis of an autoadaptive prosthetic knee
Bằng: Thakkar, Sneha, 1979-
Được phát hành: (2014)

The trace transform for object identification
Bằng: Leong, Wei Siong.
Được phát hành: (2012)

Visual attention models for far-field scene analysis
Bằng: Ižo, Tomáš, 1979-
Được phát hành: (2008)

Analysis of hunting in Synchronous Hysteresis Motor
Bằng: Truong, Cang Kim, 1979-
Được phát hành: (2005)

Electronic curve tracing
Bằng: Jones, John Jay.
Được phát hành: (2023)

Lightweight modelling and automatic analysis of multicast key management schemes
Bằng: Taghdiri, Mana, 1979-
Được phát hành: (2014)

Full-wave analysis of large conductor systems over substrate
Bằng: Hu, Xin, 1979-
Được phát hành: (2008)

Accessible broadband network analysis
Bằng: Masood, Esa Han Hsien, 1979-
Được phát hành: (2014)

Exploring filesystem synchronization with lightweight modeling and analysis
Bằng: Nolte, Tina Ann, 1979-
Được phát hành: (2014)

Theorem-proving distributed algorithms with dynamic analysis
Bằng: Ne Win, Toh, 1979-
Được phát hành: (2006)