3256 search results - page 395 / 652 » Integrated Environment for Embedded Control Systems Design |
135
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
A method for 3D scalable visualization, in a client/server environment is presented. The main idea presented in this paper is to increase the quality of 3D visualization for low b...
130
click to vote
CCGRID
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents the gSOAP stub and skeleton compiler. The compiler provides a unique SOAP-to-C/C++ language binding for deploying C/C++ applications in SOAP Web Services, clie...
143
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
167
click to vote
EDCC
2006
Springer
15 years 8 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...
154
click to vote
SIGMOD
2002
ACM
16 years 4 months ago
2002
ACM
The widespread distribution and availability of smallscale sensors, actuators, and embedded processors is transforming the physical world into a computing platform. One such examp...