搜索结果: 1-15 共查到“计算机系统结构 Using”相关记录21条 . 查询时间(0.453 秒)
Binary Translation Using Peephole Superoptimizers
Binary Translation Peephole Superoptimizers
2016/5/24
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of hand-coding the tran...
Automatic Fine-Grain Locking Using Shape Properties
Concurrency Locking Protocol Synthesis Serializability Atomicity Reduction
2016/5/24
We present a technique for automatically adding fine-grain locking to an abstract data type that is implemented using a dynamic forest —i.e., the data structures may be mutated,even to the point of vi...
Detailed Network Measurements Using Sparse Graph Counters: The Theory
Measuring the network traffic network counter memory storage counters
2015/8/21
Measuring network flow sizes is important for tasks like accounting/billing, network forensics and security. Per-flow accounting is considered hard because it requires that many counters b...
OSS: Using Online Scanning Services for Censorship Circumvention
Censorship Circumvention Online Scanning
2015/8/5
We introduce the concept of a web-based online scanning service, or OSS for short, and show that these OSSes can be covertly used as proxies in a censorship circumvention system. Such proxies are suit...
Decentralized Wireless Structural Sensing And Control Using Genetic Algorithm Optimization
Structural control decentralized control genetic algorithm wireless sensing
2015/6/30
This study explores decentralized structural control using wireless sensors and controllers.In a decentralized control scheme, control decisions are based upon data acquired from sensors located in th...
Modeling, Analysis, and Simulation of Two Connected Intersections Using Discrete and Hybrid Petri Nets
Petri nets
2015/1/20
In recent decades, Petri nets (PNs) have been used to model traffic networks for different purposes, such as signal phase control, routing, and traffic flow estimation, etc. Because of the complex nat...
A Framework for High Level Synthesis Using Taylor Decomosition System
Applied sciences High level synthesis Taylor decomposition systems Taylor expansion diagram Data-flow Arithmetic-intensive designs
2014/11/7
This thesis extends the work and application of Taylor Expansion Diagrams (TED) as a framework for high level synthesis and verification of data-flow and arithmetic-intensive designs. It shows that TE...
Data Quality Assessment and rainfall Estimation Using Dense Radar Networks
Applied sciences Data quality Estimation Dense radar networks Quality assessment Radar Rainfall
2014/11/7
While their coverage is adequate for many applications, due to the Earth's curvature and terrain induced blockage, today's operational long-range weather surveillance radar networks lack the capabilit...
Using Web Crawler Technology for Text Analysis of Geo-Events: A Case Study of the Huangyan Island Incident
Web crawler technology text information sentiment analysis Huangyan Island incident
2014/4/21
With the social networking and network socialisation have brought more text information and social relationships into our daily lives, the question of whether big data can be fully used to study the p...
A Logarithmic-Complexity Algorithm for Nearest Neighbor Classification Using Layered Range Trees
Nearest Neighbor Classifier Range Trees Logarithmic Order
2013/1/28
Finding Nearest Neighbors efficiently is crucial to the design of any nearest neighbor classifier. This paper shows how Layered Range Trees (LRT) could be utilized for efficient nearest neighbor class...
Demand Side Management for Wind Power Integration in Microgrid Using Dynamic Potential Game Theory
Wind Power Integration Microgrid Game Theory
2012/12/4
We propose a novel demand side management method to tackle the intermittency in wind power generation. Our focus is on an isolated microgrid with one wind turbine, one fastresponding conventional gene...
Evolution of Web-Based Applications Using Domain-Specific Markup Languages
Web Engineering WebComposition Domain Component
2009/12/8
The lifecycle of Web-based applications is characterized by frequent changes to content, user interface, and functionality. Updating content, improving the services provided to users, drives further d...
Hybrid SR ARQ Scheme Using Trellis Coded Modulation for Point-To-Multipoint Communication Over Nonstationary Channels
Data transmission multicast ARQ nonstationary channel
2009/7/28
In this paper, a type-I hybrid SR ARQ scheme using trellis coded modulation (TCM) for point-to-multipoint communication was analyzed on nonstationary broadcast channels where the channel bit error rat...
CHANNEL ALLOCATION MANAGEMENT USING AGENTS TECHNOLOGY
Agents AgentTool Platform Dynamic Channel Allocation Scheme
2010/1/11
Channel allocation schemes are management techniques meant to solve the
radio access problem in the telecommunications area. There are several known schemes
namely: static, dynamic, hybrid and flexi...
Users and Network Management for Secure Interworking and Roaming in WiMAX, 3G and Wi-Fi Networks Using RII Architcture
Network Management Secure Interworking Roaming WiMAX 3G Wi-Fi Networks
2010/9/20
The increase in the usage of different access technologies has led to aneed for new mechanisms to manage interworking and roaming betweendifferent network technologies. To provide secure and seamless ...