Sciweavers

404 search results - page 44 / 81
» LogP: Towards a Realistic Model of Parallel Computation
Sort
View
ANCS
2009
ACM
13 years 6 months ago
OASis: towards extensible open-architecture services platforms
In this paper, we propose an extensible Open-Architecture Services platform (OASis) for high-performance network processing. OASis embraces recent advances of open technologies, i...
Yaxuan Qi, Fei He, Xiang Wang, Xinming Chen, Yibo ...
CCGRID
2006
IEEE
14 years 3 months ago
Towards Building an Intelligent Traffic Simulation Platform
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...
Jian Cao, Minglu Li, Linpeng Huang, Ren Qinsheng, ...
ARTS
1997
Springer
14 years 18 days ago
The Verus Language: Representing Time Efficiently with BDDs
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
Sérgio Vale Aguiar Campos, Edmund M. Clarke
GCC
2007
Springer
13 years 10 months ago
Toward a Logical Architecture for Situation Dependent Information Services with Surrounding Awareness
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
Xiaojun Ding, Junichi Iijima
HPCC
2007
Springer
14 years 3 months ago
Towards Scalable and High Performance I/O Virtualization - A Case Study
I/O Virtualization provides a convenient way of device sharing among guest domains in a virtualized platform (e.g. Xen). However, with the ever-increasing number and variety of dev...
Jinpeng Wei, Jeffrey R. Jackson, John A. Wiegert