210 search results - page 17 / 42 » A declarative approach to procedural modeling of virtual wor... |
ISCAS
2006
IEEE
15 years 3 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
14 years 10 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...
106
click to vote
ICWS
2009
IEEE
14 years 7 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
15 years 3 months 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...
101
click to vote
EAGC
2003
Springer
15 years 3 months 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...