2607 search results - page 174 / 522 » On the Architecture of System Verification Environments |
172
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
168
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper, we present a robot middleware technology named Robot Software Communications Architecture (RSCA) for its use in networked home service robots. The RSCA provides a s...
149
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In Marc Weiser’s vision of ubiquitous computing, users are located in an environment with potentially thousands of computers around them. Many capabilities of these smart device...
183
click to vote
WSC
2004
15 years 7 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
188
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
In the Biodiversity World (BDW) project we have created a flexible and extensible Web Services-based Grid environment for biodiversity researchers to solve problems in biodiversity...