Run-Time Resources Management on Coarse Grained, Packet-Switching Reconfigurable Architecture: A Case Study Through the APACHES’ Platform

2006 ◽  
pp. 134-145 ◽  
Author(s):  
Alex Ngouanga ◽  
Gilles Sassatelli ◽  
Lionel Torres ◽  
Thierry Gil ◽  
André Borin Suarez ◽  
...  
Keyword(s):  
Packet Switching ◽  
Reconfigurable Architecture ◽  
Coarse Grained ◽  
Resources Management ◽  
Run Time

An Integrated Tourism Model based on Local Identity for Ecological, Historical, and Cultural Tourism

2018 ◽  
Vol 3 (7) ◽  
Author(s):  
Natapon Anusorntharangkul ◽  
Yanin Rugwongwan
Keyword(s):  
Environmental Design ◽  
Cultural Tourism ◽  
Marketing Strategies ◽  
Point Of View ◽  
Local Identity ◽  
Design Elements ◽  
Resources Management ◽  
The North ◽  
North Eastern

The objective of this paper is to study local identity and explore the potential for regional resources management and valuation of the historic environment a case study of the north-eastern provinces of Thailand, for guiding the tourism environmental design elements. The point of view has the goal creative integrate tourism model and product development from local identity embedded localism. This concept advocates the philosophy that tourism businesses must develop products and marketing strategies that not only address the needs of consumers but also safeguard the local identity. 

scholarly journals First principles characterisation of bio–nano interface

2021 ◽  
Author(s):  
Ian Rouse ◽  
David Power ◽  
Erik G. Brandt ◽  
Matthew Schneemilch ◽  
Konstantinos Kotsis ◽  
...  
Keyword(s):  
Titanium Dioxide ◽  
First Principles ◽  
Computational Approach ◽  
Titania Nanoparticles ◽  
Coarse Grained ◽  
First Principles Study

We present a multiscale computational approach for the first-principles study of bio-nano interactions. Using titanium dioxide as a case study, we evaluate the affinity of titania nanoparticles to water and biomolecules through atomistic and coarse-grained techniques.

AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

2001 ◽  
Vol 12 (01) ◽  
pp. 97-124 ◽  
Author(s):  
EDGAR F. A. LEDERER ◽  
ROMEO A. DUMITRESCU
Keyword(s):  
Programming Language ◽  
Error Detection ◽  
Program Execution ◽  
Good Efficiency ◽  
Result Verification ◽  
Coordination Model ◽  
Functional Specification ◽  
Time Result ◽  
Run Time

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

Sign in / Sign up

Export Citation Format

Share Document