Search
Search Results
-
An ultra-area-efficient ALU design in QCA technology using synchronized clock zone scheme
A quantum-dot cellular automaton (QCA) is currently regarded as a radical nanotechnology that is rapidly growing and offering new methods for...
-
Permissionless Clock Synchronization with Public Setup
The permissionless clock synchronization problem asks how it is possible for a population of parties to maintain a system-wide synchronized clock,... -
An ultra-efficient design and optimized energy dissipation of reversible computing circuits in QCA technology using zone partitioning method
Quantum-dot Cellular Automata (QCA) is an alternative step towards semiconductor-based CMOS technology. The QCA nanotechnology has a very fast...
-
Parameterized Verification of Disjunctive Timed Networks
We introduce new techniques for the parameterized verification of disjunctive timed networks (DTN s), i.e., networks of timed automata (TAs) that... -
A Local-Time Semantics for Negotiations
Negotiations, introduced by Esparza et al., are a model for concurrent systems where computations involving a set of agents are described in terms of... -
CCECGP: causal consistency model of edge–cloud collaborative based on grou** protocol
At present, most causal consistency models based on cloud storage can no longer meet the needs of delay-sensitive applications. Moreover, the...
-
Time Is on My Side: Forward-Replay Attacks to TOTP Authentication
Time-based One-Time Password (TOTP) is a widely used method for two-factor authentication, whose operation relies on one-time codes generated from... -
Vision-LiDAR-Inertial Localization and Map** Dataset of a Mining Cave
We present an abandoned mining cave dataset including vision, distance, inertial measurements. The vision measurements were captured by a... -
Live TV Streaming Latency Measurement Using YOLO
This paper proposes a simple yet effective approach to measure the e2e latency in the live video streaming pipeline, from when the signal is... -
An extensible architecture of 32-bit ALU for high-speed computing in QCA technology
The technological advancements in the semiconductor industry have significantly improved over the years. However, Complementary Metal Oxide...
-
Image processing based data reduction technique in WVSN for smart agriculture
Nowadays, to improve animal well being in livestock farming application, a wireless video sensor network (WVSN) can be deployed to early detect...
-
An ultra-dense and cost-efficient coplanar RAM cell design in quantum-dot cellular automata technology
The quantum-dot cellular automata (QCA) are an alternative nanotechnology for overcoming the drawbacks of traditional CMOS technology. QCA is one of...
-
Time and Automation
In this chapter you will learn -
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior
Specifying properties can be challenging work. In this paper, we propose an automated approach to exemplify properties given in the form of automata... -
TTGO T-Watch V2
The TTGO T-Watch V2 incorporates a 240 × 240-pixel ST7789V 1.54" LCD screen with a FT6336 capacitive touch screen controller, PCF8563 RTC (real-time... -
Power Efficient Clock Synchronization in Bluetooth-Based Mesh Networks
Power efficiency is a hot topic nowadays due to dramatically increasing number of devices (nodes) that are difficult to charge, so they need to... -
Header Files and Delays
In this chapter, we will create our first header file, which will be concerned with the configuration words we write for our projects. Later, we will... -
Linux Fundamentals II – TCP/IP Services
This chapter takes you deeper into the practical aspects of Linux OS administration, building on the foundational knowledge acquired in previous... -
Precision time protocol attack strategies and their resistance to existing security extensions
The IEEE 1588 precision time protocol (PTP) is very important for many industrial sectors and applications that require time synchronization accuracy...
-
Reusable formal models for concurrency and communication in custom real-time operating systems
In embedded systems, the execution semantics of the real-time operating system (RTOS), which is responsible for scheduling and timely execution of...