1757 search results - page 49 / 352 » Integrating and Extending JCSP |
FMCAD
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
WASMII, a virtual hardware system that executes data
ow algorithms, is based on an MPLD, an extended FPGA with multiple sets of con guration SRAM. Although we have developed an emu...
HICSS
2010
IEEE
14 years 1 months ago
2010
IEEE
Service oriented device architecture (SODA) is a promising approach for overcoming interoperability issues and especially for extending the IT support of business processes to dev...
MICCAI
2000
Springer
14 years 1 months ago
2000
Springer
A magnetic resonance (MR) compatible surgical assist robot system under preclinical evaluation is described. It is designed to coexist, and cooperate, with a surgeon, and to positi...
EVENT
2001
13 years 11 months ago
2001
As amounts of publicly uvuiluble video dutu grow, the need to query this dutu efficiently becomes signijcunt. Consequently, content-bused retrievul of video datu turns out to be U...