Register queues: a new hardware/software approach to efficient software pipelining

2002 ◽  
Author(s):  
M. Smelyanskiy ◽  
G.S. Tyson ◽  
E.S. Davidson
Keyword(s):  
Software Pipelining ◽  
Efficient Software

scholarly journals Evaluation model: A performance appraisal model for certified lecturers

2018 ◽  
Vol 49 ◽  
pp. 02003
Author(s):  
Dyah Ayu Puri Palupi ◽  
Mardanung Patmo Cahjono ◽  
Kristyana Dananti
Keyword(s):  
Performance Appraisal ◽  
Evaluation Model ◽  
Group Discussion ◽  
Valuable Contribution ◽  
Web Based ◽  
Software Application ◽  
The Government ◽  
Program Test ◽  
Prototype Software ◽  
Efficient Software

This study aims to develop lecturer performance appraisal model using web-based Integrated Evaluation Model (IEM). The object of this study is certified lecturers in Indonesia, by applying this model, the certification compensation given by the government is really used to enhance lecturer's performance. It is expected that the results of this study can be an important research that produces effective and efficient software to evaluate the lecturers' performance nationally because it involves a 360degree assessment. We have done some activities to develop the prototype software application of Integrated Evaluation Model (IEM) for assessing the certified lecturer's performance. They are 1) preparing the questionnaire indicator for the 360 degree performance appraisal, 2) conduct the program test on the certified lecturer. In this phase, certified lecturers, superior, and students also conduct assessment on certified lecturers through IEM software, 3) conduct Focus Group Discussion (FGD) to gain evaluation and feedback on the effectiveness of the IEM application program. FGD results provide a valuable contribution to the preparation of IEM program design. And the IEM software produced in this research has accommodated all of the results of FGD activities. IEM complements the prior certified lecturer performance appraisal with 360 degrees performance appraisal.

scholarly journals Efficient software model checking of soundness of type systems

2008 ◽  
Vol 43 (10) ◽  
pp. 493-504 ◽  
Author(s):  
Michael Roberson ◽  
Melanie Harries ◽  
Paul T. Darga ◽  
Chandrasekhar Boyapati
Keyword(s):  
Model Checking ◽  
Type Systems ◽  
Software Model Checking ◽  
Software Model ◽  
Efficient Software
Sign in / Sign up

Export Citation Format

Share Document