2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
Latest Publications

TOTAL DOCUMENTS

352

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538626665

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Efficient Approach to Forecasting Monthly Calls for Repair from Gas Consumers

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.10326 ◽

2018 ◽

Author(s):

Huiqun Yu ◽

Cunbin Deng ◽

Guisheng Fan ◽

Liqiong Chen ◽

Huaiying Sun

Keyword(s):

Efficient Approach

Download Full-text

An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00019 ◽

2018 ◽

Author(s):

Hao Sun ◽

Xiaoxing Ma ◽

Tiansi Dong ◽

Armin B. Cremers ◽

Chun Cao

Keyword(s):

Spatial Reasoning

Download Full-text

A New Approach for the Verification of BPMN Models Using Refinement Patterns

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00130 ◽

2018 ◽

Cited By ~ 1

Author(s):

Salma Ayari ◽

Yosra Ben Dali Hlaoui ◽

Leila Jemni Ben Ayed

Keyword(s):

New Approach

Download Full-text

Increasing Efficiency in Data Flow Oriented Model Driven Software Development for Softcore Processors

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.10343 ◽

2018 ◽

Cited By ~ 1

Author(s):

Michael Kirchhoff ◽

Jorn Weisensee ◽

Detlef Streitferdt ◽

Wolfgang Fengler ◽

Elena Rozova

Keyword(s):

Software Development ◽

Data Flow ◽

Model Driven ◽

Model Driven Software Development

Download Full-text

An Integrated Memory and SSD Caching I/O Subsystem

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00138 ◽

2018 ◽

Author(s):

Hsung-Pin Chang ◽

Yu-Cain He ◽

Da-Wei Chang

Download Full-text

State Estimation Using Neural Networks in Industrial Processes

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.10344 ◽

2018 ◽

Author(s):

Philipp Nenninger ◽

Nils Bieler

Keyword(s):

Neural Networks ◽

State Estimation ◽

Industrial Processes

Download Full-text

Modeling and Verifying MooseFS in CSP

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00043 ◽

2018 ◽

Author(s):

Yucheng Fang ◽

Huibiao Zhu ◽

Gang Lu ◽

Lili Xiao ◽

Wanling Xie

Download Full-text

A Model of Formative Automatic Assessment and Interactive Feedback for STEM

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00178 ◽

2018 ◽

Cited By ~ 2

Author(s):

Marina Marchisio ◽

Alice Barana ◽

Michele Fioravera ◽

Sergio Rabellino ◽

Alberto Conte

Keyword(s):

Automatic Assessment ◽

Interactive Feedback

Download Full-text

Formal Analysis of k-Resiliency for Collaborative UAVs

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00089 ◽

2018 ◽

Author(s):

A H M Jakaria ◽

Mohammad Ashiqur Rahman

Keyword(s):

Formal Analysis

Download Full-text

PERDICE: Towards Discovering Software Inefficiencies Leading to Cache Misses and Branch Mispredictions

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2018.00044 ◽

2018 ◽

Cited By ~ 1

Author(s):

Ting Chen ◽

Wanyu Huang ◽

Muhui Jiang ◽

Xiapu Luo ◽

Lei Xue ◽

...

Download Full-text

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

An Efficient Approach to Forecasting Monthly Calls for Repair from Gas Consumers

An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning

A New Approach for the Verification of BPMN Models Using Refinement Patterns

Increasing Efficiency in Data Flow Oriented Model Driven Software Development for Softcore Processors

An Integrated Memory and SSD Caching I/O Subsystem

State Estimation Using Neural Networks in Industrial Processes

Modeling and Verifying MooseFS in CSP

A Model of Formative Automatic Assessment and Interactive Feedback for STEM

Formal Analysis of k-Resiliency for Collaborative UAVs

PERDICE: Towards Discovering Software Inefficiencies Leading to Cache Misses and Branch Mispredictions

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
Latest Publications