VCC: A Practical System for Verifying Concurrent C

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_2 ◽

2009 ◽

pp. 23-42 ◽

Cited By ~ 249

Author(s):

Ernie Cohen ◽

Markus Dahlweid ◽

Mark Hillebrand ◽

Dirk Leinenbach ◽

Michał Moskal ◽

...

Keyword(s):

Practical System

Download Full-text

A practical system based on CNN-BLSTM network for accurate classification of ECG heartbeats of MIT-BIH imbalanced dataset

2021 26th International Computer Conference, Computer Society of Iran (CSICC) ◽

10.1109/csicc52343.2021.9420620 ◽

2021 ◽

Author(s):

Armin Shoughi ◽

Mohammad Bagher Dowlatshahi

Keyword(s):

Imbalanced Dataset ◽

Practical System

Download Full-text

A practical system for mutation testing: help for the common programmer

Proceedings., International Test Conference ◽

10.1109/test.1994.528535 ◽

2002 ◽

Cited By ~ 29

Author(s):

A.J. Offutt

Keyword(s):

Mutation Testing ◽

Practical System ◽

The Common

Download Full-text

High-Density Near-Field Recording on Cover-Layer Protected Discs Using an Actuated 1.45 Numerical Aperture Solid Immersion Lens in a Robust and Practical System

Japanese Journal of Applied Physics ◽

10.1143/jjap.46.3889 ◽

2007 ◽

Vol 46 (6B) ◽

pp. 3889-3893 ◽

Cited By ~ 19

Author(s):

Coen A. Verschuren ◽

Dominique M. Bruls ◽

Bin Yin ◽

Jack M. A. van den Eerenbeemd ◽

Ferry Zijp

Keyword(s):

Near Field ◽

Numerical Aperture ◽

High Density ◽

Solid Immersion Lens ◽

Cover Layer ◽

Field Recording ◽

Practical System

Download Full-text

Regional Dermatologic Diagnosis: A Practical System of Dermatology for the Non-Specialist

Journal of the American Medical Association ◽

10.1001/jama.1950.02920180061031 ◽

1950 ◽

Vol 144 (18) ◽

pp. 1597

Keyword(s):

Practical System

Download Full-text

Practical System-on-Chip Repeater Design With Hybrid Meta-Heuristic Techniques

IEEE Access ◽

10.1109/access.2018.2866394 ◽

2018 ◽

Vol 6 ◽

pp. 46334-46345

Author(s):

Eng Keong Teh ◽

Mohamad Adzhar Md Zawawi ◽

Mohamed Fauzi Packeer Mohamed ◽

Nor Ashidi Mat Isa

Keyword(s):

System On Chip ◽

Heuristic Techniques ◽

Practical System ◽

On Chip

Download Full-text

An observability based monitoring scheme for voltage stability margin: A practical system case study

2015 20th Conference on Electrical Power Distribution Networks Conference (EPDC) ◽

10.1109/epdc.2015.7330471 ◽

2015 ◽

Cited By ~ 1

Author(s):

Mehdi Ghazavi Dozein ◽

Javad Ansari ◽

Mehran Soleymanifar ◽

Leila Zafari

Keyword(s):

Voltage Stability ◽

Stability Margin ◽

Monitoring Scheme ◽

Practical System ◽

Voltage Stability Margin

Download Full-text

A Practical System and Procedure Enabling Battery Trading in Real-World Industry

Proceedings of the 2016 International Conference on Energy, Power and Electrical Engineering ◽

10.2991/epee-16.2016.76 ◽

2016 ◽

Author(s):

Victor K. Y. Chan ◽

Sok Lei Leong

Keyword(s):

Real World ◽

Practical System ◽

World Industry

Download Full-text

Multimedia-based English teaching and practical system

Aggression and Violent Behavior ◽

10.1016/j.avb.2021.101706 ◽

2021 ◽

pp. 101706

Author(s):

Xiao-Pang ◽

G.N. Vivekananda ◽

Shailesh Khapre

Keyword(s):

English Teaching ◽

Practical System

Download Full-text

The Oculist's Vade-Mecum: a Complete Practical System of Ophthalmic Surgery. With numerous Wood-cuts and Colored Engravings of the Diseases and Operations on the Eye

BMJ ◽

10.1136/bmj.s1-7.163.118 ◽

1843 ◽

Vol s1-7 (163) ◽

pp. 118-120

Keyword(s):

Ophthalmic Surgery ◽

Practical System

Download Full-text

Use Cases and Practical System Design for URLLC from Operation Perspective

2019 IEEE International Conference on Communications Workshops (ICC Workshops) ◽

10.1109/iccw.2019.8756739 ◽

2019 ◽

Cited By ~ 2

Author(s):

Haiyu Ding ◽

Yi Zhang ◽

Liang Xia ◽

Qixing Wang

Keyword(s):

System Design ◽

Use Cases ◽

Practical System

Download Full-text