Computer Software

Comprehensive synchronization elimination for Java

Computer Software / Science Computer / Environmental Science and Computer Programming

A Robust Circular Fiducial Detection Technique and Real-Time 3D Camera Tracking

Multimedia / Augmented Reality / Computer Software / Real Time / Pose Estimation / Particle Filter / Incomplete Data / Particle Filter / Incomplete Data

Design tool to express failure detection protocols

Fault Tolerant Computing / Programming Languages / Computer Software / Design Tool / Dependable Computing / Failure Detectors / Electrical And Electronic Engineering / Failure Detectors / Electrical And Electronic Engineering

Practical attacks and improvements to an efficient radio frequency identification authentication protocol

Distributed Computing / Computer Software

AQUILA: an equivalence checking system for large sequential designs

Distributed Computing / Computer Hardware / Computer Software / Equivalence Checking / Pattern Generation / Structural Similarity Index / Flip Flop / Functional Equivalence / Finite State Machine / Structural Similarity Index / Flip Flop / Functional Equivalence / Finite State Machine

A control theoretic approach to energy-efficient pipelined computation in MPSoCs

Distributed Computing / Energy Consumption / Computer Hardware / Computer Software / Feedback Control / Theoretical Analysis / Steady state / Energy efficient / Dynamic Model of WSN / Parallel Systems / Theoretical Analysis / Steady state / Energy efficient / Dynamic Model of WSN / Parallel Systems

Precursor Parameter Identification for Insulated Gate Bipolar Transistor (IGBT) Prognostics

Computer Software / Scanning Acoustic Microscopy / Parameter Identification / Steady state / Capacitance voltage / Remaining Useful Life Estimation / Electrical And Electronic Engineering / Insulated Gate Bipolar Transistor / Remaining Useful Life Estimation / Electrical And Electronic Engineering / Insulated Gate Bipolar Transistor

Open Embedded Control

Distributed Computing / Computer Software / Real Time Systems / Industrial Robots / Control Structure / Source Code / Open System / Embedded System / Source Code / Open System / Embedded System

Preserving correctness during business process model configuration

Computer Software / Configural Processing / Petri Net

Design tool to express failure detection protocols

Fault Tolerant Computing / Programming Languages / Computer Software / Design Tool / Dependable Computing / Failure Detectors / Electrical And Electronic Engineering / Failure Detectors / Electrical And Electronic Engineering

Using an efficient sparse minor expansion algorithm to compute polynomial subresultants and GCD

Distributed Computing / Computer Hardware / Computer Software

Use Case Maps as a property specification language

Information Systems / Model Checking / Computer Software / Formal Specification / Formal Verification / User Acceptance / Software Requirement Specification / Temporal Logic / User Acceptance / Software Requirement Specification / Temporal Logic

Business Process Model Merging

Information Systems / Computer Software

Preserving correctness during business process model configuration

Computer Software / Configural Processing / Petri Net / Configuration

Special issue on model transformation

Computer Software / Environmental Science and Computer Programming

Tunable and Energy Efficient Bus Encoding Techniques

Distributed Computing / Energy Consumption / Computer Hardware / Computer Software / Hardware Design / Power Consumption / Experimental Evaluation / Energy efficient / Power Reduction / Embedded System / Power Consumption / Experimental Evaluation / Energy efficient / Power Reduction / Embedded System

«
1
2
3
4
5
6
7
8
9
10
11
12
13
»

Copyright © 2017 DATOSPDF Inc.