Top Level Space Cost Methodology (TLSCM)

1997 ◽  
Author(s):  
Truett L. Scarborough
Keyword(s):  
Space Cost

scholarly journals Do you have space for dessert? a verified space cost semantics for CakeML programs

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-29
Author(s):  
Alejandro Gómez-Londoño ◽  
Johannes Åman Pohjola ◽  
Hira Taqdees Syeda ◽  
Magnus O. Myreen ◽  
Yong Kiam Tan
Keyword(s):  
Space Cost ◽  
Cost Semantics

The space cost of lazy reference counting

2004 ◽  
Vol 39 (1) ◽  
pp. 210-219 ◽  
Author(s):  
Hans-J. Boehm
Keyword(s):  
Space Cost ◽  
Reference Counting

A Lightweight Dynamic Binarization Method for 2D Barcode Scanning Terminal

2011 ◽  
Vol 130-134 ◽  
pp. 4079-4083
Author(s):  
Jia Jia Li ◽  
Ke Liang Zhang ◽  
Gang Wei ◽  
Bai Feng Wu
Keyword(s):  
Density Ratio ◽  
Recognition System ◽  
Gray Level ◽  
Two Dimensional ◽  
2D Barcode ◽  
Space Cost ◽  
Binarization Method ◽  
Local Average ◽  
Number Of Iterations ◽  
Average Gray Level

It is a difficult task to binarize image under uneven illumination, and this problem is always met in the image recognition system, such as two-dimensional barcode scanning terminal. In this paper, an efficient approach is proposed to binarize image which can tolerant uneven illumination and different light intensity. The method initializes thresholds with local average gray level and adjusts thresholds by calculating light density ratio. Due to characteristic of our approach, it can even obtain a sound result by limiting number of iterations which will seriously reduce computations and space cost. According to experiments, we can find that our method can achieve a good performance and meet the real-time requirement and quality demand for barcode scanning terminal.

Sequence Pattern Mining for Web Logs

2012 ◽  
pp. 237-243
Author(s):  
Pradeep Kumar ◽  
Raju S. Bapi ◽  
P. Radha Krishna
Keyword(s):  
Pattern Mining ◽  
Time And Space ◽  
Sequence Pattern ◽  
Interestingness Measures ◽  
Web Logs ◽  
Space Cost ◽  
Reduced Time

Interestingness measures play an important role in finding frequently occurring patterns, regardless of the kind of patterns being mined. In this work, we propose variation to the AprioriALL Algorithm, which is commonly used for the sequence pattern mining. The proposed variation adds up the measure interest during every step of candidate generation to reduce the number of candidates thus resulting in reduced time and space cost. The proposed algorithm derives the patterns which are qualified and more of interest to the user. The algorithm, by using the interest, measure limits the size the candidates set whenever it is produced by giving the user more importance to get the desired patterns.

scholarly journals Wide-Speed Range Sensorless Control of an IPM Motor for Multi-Purpose Applications

Inventions ◽  
2020 ◽  
Vol 5 (3) ◽  
pp. 24
Author(s):  
Maria Laura Bacci ◽  
Ferdinando Luigi Mapelli ◽  
Stefano Mossina ◽  
Davide Tarsitano ◽  
Michele Vignati
Keyword(s):  
Permanent Magnet Synchronous Machine ◽  
Mechanical Reliability ◽  
High Frequency Signal ◽  
Constant Torque ◽  
High Speeds ◽  
Speed Range ◽  
Interior Permanent Magnet ◽  
Signal Injection ◽  
Space Cost ◽  
Wide Speed Range

In a growing number of battery-driven applications the need of removing any position and speed transducer is taking over due to space, cost and mechanical reliability constraints, further than making the installation easier as requiring less wiring. This paper presents the development of a sensorless algorithm capable of running an Interior Permanent Magnet Synchronous Machine (IPMSM), assuring constant torque production in the whole speed range, form standstill to high speeds. This is achieved with an hybrid method: at standstill and very low speeds the saliency of the IPM is exploited through an High Frequency Signal Injection (HFSI), which assures a robust estimation of the rotor position. At medium to high speeds an advanced V-I estimator is adopted in order to enhance the motor performances. The developed algorithm comes out of being highly scalable as it requires very little tuning, resulting in a multi-purpose application which can be employed with any motor size.

A survey of space cost models

1998 ◽  
Author(s):  
W. Thomas Harwick
Keyword(s):  
Cost Models ◽  
Space Cost
Sign in / Sign up

Export Citation Format

Share Document