Sciweavers

1941 search results - page 259 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
149
Voted
WOSP
2004
ACM
15 years 10 months ago
Early-stage performance modeling and its application for integrated embedded control software design
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
Shige Wang, Kang G. Shin
FMCAD
2000
Springer
15 years 8 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
SOCIALCOM
2010
14 years 11 months ago
The Swarm Model in Open Source Software Developer Communities
Most of the current swarm model studies and applications try to mimic the collective behaviors of social animals, such as birds and ants. The studies seek to solve tasks similar to...
Xiaohui Cui, Justin M. Beaver, Everett Stiles, Lau...
TSP
2010
14 years 11 months ago
Covariance estimation in decomposable Gaussian graphical models
Graphical models are a framework for representing and exploiting prior conditional independence structures within distributions using graphs. In the Gaussian case, these models are...
Ami Wiesel, Yonina C. Eldar, Alfred O. Hero
CSCWD
2005
Springer
15 years 10 months ago
A Web services based platform for exchange of procedural CAD models
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
Xiang Chen, Min Li, Shuming Gao