2935 search results - page 393 / 587 » An Integrated Approach to High Integrity Software Verificati... |
140
click to vote
COMSWARE
2008
IEEE
16 years 26 days ago
2008
IEEE
—Presence technology is going to be an integral part of the next generation of communication technology. It can eliminate telephone tag between two parties (caller and callee), w...
164
click to vote
CODES
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper, we present the Daedalus framework, which allows for traversing the path from sequential application specification to a working MP-SoC prototype in FPGA technology ...
172
click to vote
SEKE
2007
Springer
16 years 15 days ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
159
click to vote
CODES
2005
IEEE
16 years 1 days ago
2005
IEEE
The ability to continue increasing processor frequency and single thread performance is being severely limited by exponential increases in leakage and active power. To continue to...
166
click to vote
DSRT
2005
IEEE
16 years 20 hour ago
2005
IEEE
Engine production is a complex process that requires the manufacturing and assembly of a wide variety of components to create a varied product mix. Simulation plays a key role in ...