Articles

Search Articles

Advanced search
Help

Catalogue

Articles

Databases

X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (345) 345
Patent (69) 69
Conference Proceeding (36) 36
Book / eBook (25) 25
Publication (13) 13
Book Review (7) 7
Dissertation (5) 5
Book Chapter (1) 1
Magazine Article (1) 1
Video Recording (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
index medicus (112) 112
humans (96) 96
male (74) 74
female (64) 64
middle aged (61) 61
aged (46) 46
chemistry (43) 43
metallurgy (38) 38
adult (36) 36
medicine, general & internal (31) 31
abridged index medicus (28) 28
double-blind method (25) 25
stroke (21) 21
cardiovascular disease (18) 18
human necessities (17) 17
myocardial infarction (17) 17
drug therapy, combination (16) 16
hygiene (16) 16
medical or veterinary science (16) 16
risk factors (16) 16
inorganic chemistry (15) 15
life sciences (15) 15
cardiovascular diseases (14) 14
cardiovascular diseases - mortality (14) 14
cardiovascular diseases - prevention & control (14) 14
drug therapy (14) 14
heart attacks (14) 14
mortality (14) 14
performing operations (14) 14
transporting (14) 14
cerebral infarction (13) 13
compounds thereof (13) 13
follow-up studies (13) 13
non-metallic elements (13) 13
organic chemistry (13) 13
preparations for medical, dental, or toilet purposes (13) 13
risk (13) 13
treatment outcome (13) 13
acute coronary syndromes (12) 12
therapy (12) 12
tuberculosis, pulmonary - physiopathology (12) 12
atrial fibrillation (11) 11
cardiac & cardiovascular systems (11) 11
holocaust, jewish (11) 11
prevention (11) 11
specific therapeutic activity of chemical compounds ormedicinal preparations (11) 11
treatment of water, waste water, sewage, or sludge (11) 11
clinical trials (10) 10
oncology (10) 10
patients (10) 10
acyclic, carbocyclic or heterocyclic compounds containingelements other than carbon, hydrogen, halogen, oxygen, nitrogen,sulfur, selenium or tellurium (9) 9
care and treatment (9) 9
diabetes (9) 9
diabetes mellitus, type 2 - drug therapy (9) 9
electricity (9) 9
heart diseases (9) 9
lighting (9) 9
physics (9) 9
angina (8) 8
aspirin (8) 8
blasting (8) 8
diabetes mellitus, type 2 - complications (8) 8
electric techniques not otherwise provided for (8) 8
engineering, electrical & electronic (8) 8
health risk assessment (8) 8
heart failure (8) 8
heating (8) 8
mechanical engineering (8) 8
medicine (8) 8
myocardial infarction - drug therapy (8) 8
myocardial-infarction (8) 8
physical or chemical processes or apparatus in general (8) 8
plasma technique (8) 8
production of accelerated electrically-charged particles or ofneutrons (8) 8
production or acceleration of neutral molecular or atomicbeams (8) 8
stroke - prevention & control (8) 8
weapons (8) 8
aged, 80 and over (7) 7
animals (7) 7
atrial fibrillation - drug therapy (7) 7
biography (7) 7
chemistry, multidisciplinary (7) 7
compositions based thereon (7) 7
diabetes mellitus (7) 7
hemorrhage - chemically induced (7) 7
holocaust survivors (7) 7
incidence (7) 7
kaplan-meier estimate (7) 7
medical research (7) 7
model checking (7) 7
myocardial infarction - epidemiology (7) 7
organic macromolecular compounds (7) 7
respiratory system (7) 7
severity of illness index (7) 7
stroke - epidemiology (7) 7
survival analysis (7) 7
their preparation or chemical working-up (7) 7
adolescent (6) 6
analysis (6) 6
angina pectoris (6) 6
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (16) 16
Baycrest Hospital - Resident/Client Library (6) 6
Victoria University E.J. Pratt - Stacks (5) 5
St. Michael's College (John M. Kelly) - 3rd Floor (4) 4
Trinity College (John W Graham) - Stacks (4) 4
UTL at Downsview - May be requested (3) 3
Collection Dvlpm't (Acquisitions) - Closed Orders (2) 2
Collection Dvlpm't (Acquisitions) - Vendor file (2) 2
Earth Sciences (Noranda) - Stacks (2) 2
Knox College (Caven) - Stacks (2) 2
Robarts - Storage (2) 2
St. Augustine's Seminary - Stacks (2) 2
St. Michael's College (John M. Kelly) - 2nd Floor (2) 2
UofT at Mississauga - Stacks (2) 2
Institute for Christian Studies - Stacks (1) 1
Regis College - Stacks (1) 1
St. Michael's College (John M. Kelly) - 1st Floor (1) 1
St. Michael's College (John M. Kelly) - Audio Visual (1) 1
Trinity College (John W Graham) - Storage (1) 1
Victoria University Emmanuel College - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (336) 336
Russian (158) 158
French (17) 17
German (6) 6
Hebrew (4) 4
Czech (2) 2
Chinese (1) 1
Spanish (1) 1
Ukrainian (1) 1
Yiddish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1. Full Text Combination of pentoxifylline and vitamin E for the treatment of sarcoidosis: Retrospective analysis
by Vizel, A and Vizel, I
EUROPEAN RESPIRATORY JOURNAL, ISSN 0903-1936, 09/2016, Volume 48, Issue suppl 60, p. OA1770
Pharmacology | Sarcoidosis | Treatments | RESPIRATORY SYSTEM
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
2. Full Text Methotrexate as a single agent for the treatment of patients with progressive pulmonary sarcoidosis
by Vizel, I and Vizel, A
EUROPEAN RESPIRATORY JOURNAL, ISSN 0903-1936, 09/2015, Volume 46, Issue suppl 59, p. PA843
Pharmacology | Sarcoidosis | Treatments | RESPIRATORY SYSTEM
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
3. Full Text Boolean Satisfiability Solvers and Their Applications in Model Checking
by Vizel, Yakir and Weissenbacher, Georg and Malik, Sharad
Proceedings of the IEEE, ISSN 0018-9219, 11/2015, Volume 103, Issue 11, pp. 2021 - 2035
Boolean satisfiability (SAT)-the problem of determining whether there exists an assignment satisfying a given Boolean formula-is a fundamental intractable... 
Algorithm design and analysis | Computer science | Boolean functions | interpolation | satisfiability solving | proofs | Model checking | Automatic test pattern generation | IC3 | Data structures | Context modeling | model checking | RESOLUTION | STRENGTH | ENGINEERING, ELECTRICAL & ELECTRONIC | ABSTRACTION | LOWER BOUNDS | SAT SOLVERS | SYSTEMS | VERIFICATION | Electronic design automation | Computer programming | Automation | Logic programming | Learning | Computer simulation | Communities | Solvers | Mathematical models | Hardware | Boolean algebra
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
4. Efficacy of prednisolone in patients with pulmonary sarcoidosis: Results of a retrospective study
by Vizel, I.Yu and Vizel, A.A
Pulmonologiya, ISSN 0869-0189, 2016, Volume 26, Issue 3, pp. 316 - 322
Sarcoidosis | Prednisolone | Treatment
Journal Article
Details down arrow
5. DuoResp Spiromax(r) is a new intuitive dosing dry powder inhaler of budesonide and formoterol
by Vizel, A.A and Vizel, I.Yu
Pulmonologiya, ISSN 0869-0189, 2016, Volume 26, Issue 4, pp. 498 - 504
Budesonide | Formoterol | DuoResp Spiromax(r) | Dosing dry powder inhaler
Journal Article
Details down arrow
6. Full Text VIII International Conference of the World Association of Sarcoidosis and other granulomatous lung diseases: current understanding of sarcoidosis
by Vizel, I.Yu and Vizel, A.A and Kazan State Medical University of the Ministry of Health of the Russian Federation. 420012, Russian Federation, Kazan, ul. Butlerova, d. 49
Consilium Medicum, ISSN 2075-1753, 2018, Volume 18, Issue 11, pp. 19 - 24
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
7. Full Text Curcumin and Gemcitabine in Patients With Advanced Pancreatic Cancer
by Epelbaum, Ron and Schaffer, Moshe and Vizel, Bella and Badmaev, Vladimir and Bar-Sela, Gil
Nutrition and Cancer, ISSN 0163-5581, 11/2010, Volume 62, Issue 8, pp. 1137 - 1141
Curcumin has a potent antiproliferative activity and can also potentiate the antitumor effect of gemcitabine. This study was undertaken to evaluate the... 
DRUG | CELLS | APOPTOSIS | NUTRITION & DIETETICS | INHIBITION | THERAPY | ANGIOGENESIS | ONCOLOGY | PATHWAY | CHEMOPREVENTIVE AGENT | PROLIFERATION | I CLINICAL-TRIAL | Curcumin - analogs & derivatives | Humans | Middle Aged | Antineoplastic Combined Chemotherapy Protocols - adverse effects | Male | Curcumin - administration & dosage | Antimetabolites, Antineoplastic - administration & dosage | Feasibility Studies | Pancreatic Neoplasms - drug therapy | Antineoplastic Agents, Phytogenic - administration & dosage | Deoxycytidine - therapeutic use | Female | Antineoplastic Agents, Phytogenic - therapeutic use | Antineoplastic Agents, Phytogenic - adverse effects | Severity of Illness Index | Curcumin - therapeutic use | Deoxycytidine - administration & dosage | Curcumin - adverse effects | Adenocarcinoma - drug therapy | Disease Progression | Antimetabolites, Antineoplastic - therapeutic use | Medication Adherence | Antineoplastic Combined Chemotherapy Protocols - therapeutic use | Survival Analysis | Aged | Deoxycytidine - analogs & derivatives | Studies | Survival analysis | Chemotherapy | Pancreatic cancer | Flowers & plants | Patients | Tumors | Index Medicus
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
8. Full Text Rivaroxaban with or without aspirin in patients with stable coronary artery disease: an international, randomised, double-blind, placebo-controlled trial
by Connolly, Stuart J and Eikelboom, John W and Bosch, Jackie and Dagenais, Gilles and Dyal, Leanne and Lanas, Fernando and Metsarinne, Kaj and O'Donnell, Martin and Dans, Anthony L and Ha, Jong-Won and Parkhomenko, Alexandr N and Avezum, Alvaro A and Lonn, Eva and Lisheng, Liu and Torp-Pedersen, Christian and Widimsky, Petr and Maggioni, Aldo P and Felix, Camilo and Keltai, Katalin and Hori, Masatsugu and Yusoff, Khalid and Guzik, Tomasz J and Bhatt, Deepak L and Branch, Kelley R H and Cook Bruns, Nancy and Berkowitz, Scott D and Anand, Sonia S and Varigos, John D and Fox, Keith A A and Yusuf, Salim and SALA, JORGELINA and CARTASEGNA, LUIS and VICO, MARISA and HOMINAL, MIGUEL ANGEL and HASBANI, EDUARDO and CACCAVO, ALBERTO and ZAIDMAN, CESAR and VOGEL, DANIEL and HRABAR, ADRIAN and SCHYGIEL, PABLO OMAR and CUNEO, CARLOS and LUQUEZ, HUGO and MACKINNON, IGNACIO J and AHUAD GUERRERO, RODOLFO ANDRES and COSTABEL, JUAN PABLO and BARTOLACCI, INES PALMIRA and MONTANA, OSCAR and BARBIERI, MARIA and GOMEZ VILAMAJO, OSCAR and GARCIA DURAN, RUBEN OMAR and SCHIAVI, LILIA BEATRIZ and GARRIDO, MARCELO and INGARAMO, ADRIAN and BORDONAVA, ANSELMO PAULINO and PELAGAGGE, MARIA JOSE and NOVARETTO, LEONARDO and ALBISU DI GENNERO, JUAN PABLO and IBANEZ SAGGIA, LUZ MARIA and ALVAREZ, MOIRA and VITA, NESTOR ALEJANDRO and MACIN, STELLA MARIS and DRAN, RICARDO DARIO and CARDONA, MARCELO and GUZMAN, RANDOLPH and GUZMAN, LUIS and SARJANOVICH, RODOLFO JUAN and CUADRADO, JESUS and NANI, SEBASTIAN and LITVAK BRUNO, MARCOS RAUL and CHACON, CAROLINA and MAFFEI, LAURA ELENA and GRINFELD, DIEGO and VENSENTINI, NATALIA and MAJUL, CLAUDIO RODOLFO and LUCIARDI, HECTOR LUCAS and GONZALEZ COLASO, PATRICIA DEL CARMEN and FERRE PACORA, FREDY ANTONI and VAN DEN HEUVEL, PAUL and VERHAMME, PETER and ECTOR, BAVO and DEBONNAIRE, PHILIPPE and VAN DE BORNE, PHILIPPE and LEROY, JEAN and SCHROE, HERMAN and VRANCKX, PASCAL and ELEGEERT, IVAN and HOFFER, ETIENNE and DUJARDIN, KARL and INDIO DO BRASIL, CLARISSE and PRECOMA, DALTON and ABRANTES, JOSE ANTONIO and MANENTI, EULER and REIS, GILMAR and SARAIVA, JOSE and MAIA, LILIA and HERNANDES, MAURO and ROSSI, PAULO and ROSSI DOS SANTOS, FABIO and ZIMMERMANN, SERGIO LUIZ and RECH, RAFAEL and ... and COMPASS Investigators and COMPASS investigators
The Lancet, ISSN 0140-6736, 01/2018, Volume 391, Issue 10117, pp. 205 - 218
Coronary artery disease is a major cause of morbidity and mortality worldwide, and is a consequence of acute thrombotic events involving activation of... 
PREVENTION | MEDICINE, GENERAL & INTERNAL | ORAL RIVAROXABAN | Myocardial Infarction - epidemiology | Cardiovascular Diseases - prevention & control | Humans | Male | Rivaroxaban - administration & dosage | Aspirin - administration & dosage | Factor Xa Inhibitors - administration & dosage | Dose-Response Relationship, Drug | Rivaroxaban - adverse effects | Aspirin - adverse effects | Platelet Aggregation Inhibitors - administration & dosage | Cardiovascular Diseases - mortality | Female | Stroke - epidemiology | Aspirin - therapeutic use | Drug Therapy, Combination | Platelet Aggregation Inhibitors - therapeutic use | Rivaroxaban - therapeutic use | Platelet Aggregation Inhibitors - adverse effects | Stroke - prevention & control | Double-Blind Method | Drug Administration Schedule | Coronary Artery Disease - drug therapy | Morbidity | Factor Xa Inhibitors - therapeutic use | Factor Xa Inhibitors - adverse effects | Aged | Coronary Artery Disease - epidemiology | Myocardial Infarction - prevention & control | Hemorrhage - chemically induced | Anticoagulants | Aspirin | Stroke | Heart attacks | Mortality | Coronary artery | Clinical trials | Cardiovascular disease | Coronary artery disease | Disease control | Disease prevention | Coronary vessels | Acute coronary syndromes | Thromboembolism | Health risk assessment | Drug therapy | Heart diseases | Index Medicus | Abridged Index Medicus
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
9. The epoch of dual bronchodilation: The first direct comparisons and meta-analyzes
by Vizel, Aleksandr A and Vizel, Irina Y
Pulmonologiya, ISSN 0869-0189, 2018, Volume 28, Issue 1, pp. 96 - 103
Dual bronchodilation | Vilanterol/umeclidinium | Olodaterol/tiotropium | COPD
Journal Article
Details down arrow
10. Full Text Bonding of Bi2Te3-Based Thermoelectric Legs to Metallic Contacts Using Bi0.82Sb0.18 Alloy
by Vizel, Roi and Bargig, Tal and Beeri, Ofer and Gelbstein, Yaniv
Journal of Electronic Materials, ISSN 0361-5235, 3/2016, Volume 45, Issue 3, pp. 1296 - 1300
Thermoelectrics is gaining increased attention as a renewable direct energy conversion method from heat to electricity. The most efficient and up-to-date... 
Solid State Physics | bonding | Bi-Sb | Optical and Electronic Materials | Electronics and Microelectronics, Instrumentation | Characterization and Evaluation of Materials | Thermoelectrics | Material Science | Bi 2 Te 3 | Te | Bi | SYSTEM | PHYSICS, APPLIED | TRANSPORT-PROPERTIES | MATERIALS SCIENCE, MULTIDISCIPLINARY | Bi2Te3 | DIFFUSION | THERMODYNAMIC ASSESSMENT | ANTIMONY | ENGINEERING, ELECTRICAL & ELECTRONIC
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
11. Full Text 5-year weekly monitoring of community-acquired pneumonia incidence and mortality
by Shaymuratov, R and Vizel, A
EUROPEAN RESPIRATORY JOURNAL, ISSN 0903-1936, 09/2016, Volume 48, Issue suppl 60, p. PA4247
Pneumonia | Health policy | RESPIRATORY SYSTEM | Monitoring
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
12. Full Text ADEPTUS: a discovery tool for disease prediction, enrichment and network analysis based on profiles from many diseases
by Amar, David and Vizel, Amir and Levy, Carmit and Shamir, Ron
Bioinformatics, ISSN 1367-4803, 06/2018, Volume 34, Issue 11, pp. 1959 - 1961
Abstract Motivation Large-scale publicly available genomic data on many disease phenotypes could improve our understanding of the molecular basis of disease.... 
MELANOMA | EXPRESSION PROFILES | BIOTECHNOLOGY & APPLIED MICROBIOLOGY | BIOCHEMICAL RESEARCH METHODS | MATHEMATICAL & COMPUTATIONAL BIOLOGY
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
13. Full Text Rivaroxaban with or without aspirin in patients with stable peripheral or carotid artery disease: an international, randomised, double-blind, placebo-controlled trial
by Anand, Sonia S and Bosch, Jackie and Eikelboom, John W and Connolly, Stuart J and Diaz, Rafael and Widimsky, Peter and Aboyans, Victor and Alings, Marco and Kakkar, Ajay K and Keltai, Katalin and Maggioni, Aldo P and Lewis, Basil S and Störk, Stefan and Zhu, Jun and Lopez-Jaramillo, Patricio and O'Donnell, Martin and Commerford, Patrick J and Vinereanu, Dragos and Pogosova, Nana and Ryden, Lars and Fox, Keith A A and Bhatt, Deepak L and Misselwitz, Frank and Varigos, John D and Vanassche, Thomas and Avezum, Alvaro A and Chen, Edmond and Branch, Kelley and Leong, Darryl P and Bangdiwala, Shrikant I and Hart, Robert G and Yusuf, Salim and SALA, JORGELINA and CARTASEGNA, LUIS and VICO, MARISA and HOMINAL, MIGUEL ANGEL and HASBANI, EDUARDO and CACCAVO, ALBERTO and ZAIDMAN, CESAR and VOGEL, DANIEL and HRABAR, ADRIAN and SCHYGIEL, PABLO OMAR and CUNEO, CARLOS and LUQUEZ, HUGO and MACKINNON, IGNACIO J and AHUAD GUERRERO, RODOLFO ANDRES and COSTABEL, JUAN PABLO and BARTOLACCI, INES PALMIRA and MONTANA, OSCAR and BARBIERI, MARIA and GOMEZ VILAMAJO, OSCAR and GARCIA DURAN, RUBEN OMAR and SCHIAVI, LILIA BEATRIZ and GARRIDO, MARCELO and INGARAMO, ADRIAN and BORDONAVA, ANSELMO PAULINO and PELAGAGGE, MARIA JOSE and NOVARETTO, LEONARDO and ALBISU DI GENNERO, JUAN PABLO and IBANEZ SAGGIA, LUZ MARIA and ALVAREZ, MOIRA and VITA, NESTOR ALEJANDRO and MACIN, STELLA MARIS and DRAN, RICARDO DARIO and CARDONA, MARCELO and GUZMAN, RANDOLPH and GUZMAN, LUIS and SARJANOVICH, RODOLFO JUAN and CUADRADO, JESUS and NANI, SEBASTIAN and LITVAK BRUNO, MARCOS RAUL and CHACON, CAROLINA and MAFFEI, LAURA ELENA and GRINFELD, DIEGO and VENSENTINI, NATALIA and MAJUL, CLAUDIO RODOLFO and LUCIARDI, HECTOR LUCAS and GONZALEZ COLASO, PATRICIA DEL CARMEN and FERRE PACORA, FREDY ANTONI and VAN DEN HEUVEL, PAUL and VERHAMME, PETER and ECTOR, BAVO and DEBONNAIRE, PHILIPPE and VAN DE BORNE, PHILIPPE and LEROY, JEAN and SCHROE, HERMAN and VRANCKX, PASCAL and ELEGEERT, IVAN and HOFFER, ETIENNE and DUJARDIN, KARL and INDIO DO BRASIL, CLARISSE and PRECOMA, DALTON and ABRANTES, JOSE ANTONIO and MANENTI, EULER and REIS, GILMAR and SARAIVA, JOSE and MAIA, LILIA and HERNANDES, MAURO and ROSSI, PAULO and ROSSI DOS SANTOS, FABIO and ... and COMPASS Investigators
The Lancet, ISSN 0140-6736, 01/2018, Volume 391, Issue 10117, pp. 219 - 229
Patients with peripheral artery disease have an increased risk of cardiovascular morbidity and mortality. Antiplatelet agents are widely used to reduce these... 
MORTALITY | MEDICINE, GENERAL & INTERNAL | METAANALYSIS | MANAGEMENT | THERAPY | OUTPATIENTS | CARDIOVASCULAR EVENT RATES | PREVENTION | RISK | Myocardial Infarction - epidemiology | Cardiovascular Diseases - prevention & control | Humans | Middle Aged | Carotid Artery Diseases - complications | Male | Peripheral Arterial Disease - complications | Rivaroxaban - administration & dosage | Aspirin - administration & dosage | Factor Xa Inhibitors - administration & dosage | Incidence | Dose-Response Relationship, Drug | Rivaroxaban - adverse effects | Aspirin - adverse effects | Platelet Aggregation Inhibitors - administration & dosage | Cardiovascular Diseases - mortality | Female | Stroke - epidemiology | Aspirin - therapeutic use | Lower Extremity - surgery | Drug Therapy, Combination | Platelet Aggregation Inhibitors - therapeutic use | Myocardial Infarction - etiology | Rivaroxaban - therapeutic use | Carotid Artery Diseases - drug therapy | Platelet Aggregation Inhibitors - adverse effects | Stroke - prevention & control | Double-Blind Method | Drug Administration Schedule | Peripheral Arterial Disease - drug therapy | Carotid Artery Diseases - epidemiology | Morbidity | Factor Xa Inhibitors - therapeutic use | Stroke - etiology | Peripheral Arterial Disease - epidemiology | Factor Xa Inhibitors - adverse effects | Aged | Myocardial Infarction - prevention & control | Amputation - statistics & numerical data | Hemorrhage - chemically induced | Lower Extremity - blood supply | Cardiac arrhythmia | Anticoagulants | Aspirin | Stroke | Heart attacks | Medical imaging | Mortality | Clinical trials | Cardiovascular disease | Patients | Disease control | Carotid arteries | Disease prevention | Coronary vessels | Blood pressure | Carotid artery | Acute coronary syndromes | Thromboembolism | Health risk assessment | Index Medicus | Abridged Index Medicus
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
14. X-ray, laboratory, and functional parallels in intrathoracic sarcoidosis
by Vizel, I Yu and Vizel, I.Yu and Vizel, A.A and Vizel, A.A and Shaimuratov, R.I and Shaimuratov, R.I
Terapevticheskii Arkhiv, ISSN 0040-3660, 2015, Volume 87, Issue 3, pp. 48 - 52
Stage | Sarcoidosis | Diffusion | Blood calcium | Spirogram
Journal Article
Details down arrow
15. Full Text Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification
by Subramanyan, Pramod and Huang, Bo-Yuan and Vizel, Yakir and Gupta, Aarti and Malik, Sharad
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ISSN 0278-0070, 08/2018, Volume 37, Issue 8, pp. 1692 - 1705
Modern system-on-chip (SoC) designs comprise programmable cores, application-specific accelerators, and I/O devices. Accelerators are controlled by... 
formal verification | model checking | Computational modeling | Computer bugs | Accelerator architectures | Computer architecture | Hardware | Acceleration | Integrated circuit modeling | systems modeling | Microprogramming | system-on-chip (SoC) | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | ENGINEERING, ELECTRICAL & ELECTRONIC | Basic input-output system | Microcontrollers |