210 search results - page 17 / 42 » A declarative approach to procedural modeling of virtual wor... |
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
—Behavioral modeling with virtual built-in self-test verification of high-speed wired link designs is described in this paper. Our procedure is based on principles of top-down mi...
BMCBI
2010
13 years 7 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
ICWS
2009
IEEE
13 years 5 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
ICWL
2005
Springer
14 years 27 days ago
2005
Springer
We have previously developed a collaborative virtual environment (CVE) for small-group virtual classrooms, intended for distance learning by geographically dispersed students. The...
EAGC
2003
Springer
14 years 18 days ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...