3708 search results - page 258 / 742 » Programming with C Exceptions |
150
click to vote
CGO
2005
IEEE
16 years 6 days ago
2005
IEEE
To improve performance and reduce power, processor designers employ advances that shrink feature sizes, lower voltage levels, reduce noise margins, and increase clock rates. Howev...
141
click to vote
ICAC
2005
IEEE
16 years 6 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
202
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
201
click to vote
AGILEDC
2003
IEEE
15 years 12 months ago
2003
IEEE
As part of the delivery an automated hub for a postal operator, the Solystic company has to build a complex and feature rich Information System that supports a highly automated pr...
185
click to vote
ISCA
2002
IEEE
15 years 11 months ago
2002
IEEE
An increasingly large portion of scheduler latency is derived from the monolithic content addressable memory (CAM) arrays accessed during instruction wakeup. The performance of th...