The Role of Formal Methods and Algorithms in Real-Time Computing

1994 ◽  
pp. 621-621
Author(s):  
Fabio A. Schreiber
Keyword(s):  
Real Time ◽  
Formal Methods ◽  
Real Time Computing

The Role of Academia, Industry and Government in Real-Time Computing

1994 ◽  
pp. 588-589
Author(s):  
Günter Hommel
Keyword(s):  
Real Time ◽  
Real Time Computing

The Role of Standards in Real-Time Computing

1994 ◽  
pp. 635-637
Author(s):  
C. Douglas Locke
Keyword(s):  
Real Time ◽  
Real Time Computing

Formal Methods and Algorithms for Parallel Real-Time Computing

1994 ◽  
pp. 743-743
Author(s):  
Lonnie R. Welch
Keyword(s):  
Real Time ◽  
Formal Methods ◽  
Real Time Computing

The Role of Standards in Real-Time Computing

1994 ◽  
pp. 638-639
Author(s):  
Ulrich Schmid
Keyword(s):  
Real Time ◽  
Real Time Computing

The real-time computing of the Stirling formula based on hardware acceleration

2013 ◽  
Author(s):  
Jiyang Yu ◽  
Dan Huang ◽  
Siyang Zhao ◽  
Nan Pei ◽  
Huixia Cheng ◽  
...  
Keyword(s):  
Real Time ◽  
Hardware Acceleration ◽  
Stirling Formula ◽  
The Real ◽  
Real Time Computing

MODIFIED METHOD FOR REAL-TIME COMPUTING DENSE OPTICAL FLOW ON FPGA

2019 ◽  
Vol 70 ◽  
pp. 146-157
Author(s):  
A. V. Bratulin ◽  
◽  
M. B. Nikiforov ◽  
A. I. Efimov ◽  
◽  
...  
Keyword(s):  
Optical Flow ◽  
Real Time ◽  
Modified Method ◽  
Dense Optical Flow ◽  
Real Time Computing

Use of odor by host-finding insects: the role of real-time odor environment and odor mixing degree

Chemoecology ◽  
2021 ◽  
Author(s):  
Xinliang Shao ◽  
Ke Cheng ◽  
Zhengwei Wang ◽  
Qin Zhang ◽  
Xitian Yang
Keyword(s):  
Real Time ◽  
Host Finding

scholarly journals Balancing the formal and the informal in user-centred design

2021 ◽  
Author(s):  
Michael D Harrison ◽  
Paolo Masci ◽  
José Creissac Campos
Keyword(s):  
Formal Methods ◽  
Systematic Approach ◽  
Formal Analysis ◽  
Interactive Systems ◽  
User Evaluation ◽  
Analysis Techniques ◽  
User Centred Design ◽  
Early Design Stages ◽  
Cooperative Evaluation

Abstract This paper explores the role of formal methods as part of the user-centred design of interactive systems. An iterative process is described, developing prototypes incrementally, proving user-centred requirements while at the same time evaluating the prototypes that are executable forms of the developed models using ‘traditional’ techniques for user evaluation. A formal analysis complements user evaluations. This approach enriches user-centred design that typically focuses understanding on context and producing sketch designs. These sketches are often non-functional (e.g. paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The use of formal methods provides a systematic approach to checking plausibility and consistency during early design stages, while at the same time enabling the generation of executable prototypes. The technique is illustrated through an example based on a pill dispenser.

Sign in / Sign up

Export Citation Format

Share Document