Sciweavers

6961 search results - page 225 / 1393
» Domain-Oriented design Environments
Sort
View
MEMOCODE
2003
IEEE
15 years 12 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
EUROPAR
2003
Springer
15 years 11 months ago
The Design of an API for Strict Multithreading in C++
Abstract. This paper deals with the design of an API for building distributed parallel applications in C++ which embody strict multithreaded computations. The API is enhanced with ...
Wolfgang Blochinger, Wolfgang Küchlin
GCC
2003
Springer
15 years 11 months ago
Research and Design of Remote Education System Based on CSCW
Guided by the cooperation theory, this paper puts forward an interactive and cooperative learning environment design that is based on the self-learning mode and cooperative learnin...
Chunzhi Wang, Miao Shao, Jing Xia, Huachao Chen
ICPP
2000
IEEE
15 years 11 months ago
Issues in Designing and Implementing a Scalable Virtual Interface Architecture
The Virtual Interface Architecture brings the benefits of low latency User-level Networking to a cluster environment. With an increasing number of communication channels created ...
Shailabh Nagar, Anand Sivasubramaniam, Jorge Rodri...
DAC
1997
ACM
15 years 10 months ago
A Power Estimation Framework for Designing Low Power Portable Video Applications
This paper presents a power evaluation framework designed for estimating power consumption of a new video telephone compression standard, ITU-H.263, at the system level. A hierarc...
Chi-Ying Tsui, Kai-Keung Chan, Qing Wu, Chih-Shun ...