7167 search results - page 1354 / 1434 » A Technique for Invariant Generation |
107
click to vote
CLADE
2003
IEEE
15 years 3 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
— Input Queued(IQ) switches have been very well studied in the recent past. The main problem in the IQ switches concerns scheduling. The main focus of the research has been the ď...
MICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
Wire delays are a major concern for current and forthcoming processors. One approach to attack this problem is to divide the processor into semi-independent units referred to as c...
100
click to vote
NDSS
2003
IEEE
15 years 3 months ago
2003
IEEE
We study proactive two-party signature schemes in the context of user authentication. A proactive two-party signature scheme (P2SS) allows two parties—the client and the serverâ...
ISLPED
2003
ACM
15 years 3 months ago
2003
ACM
Ever shrinking device sizes and innovative micro-architectural and circuit design techniques have made it possible to have multi-million transistor systems running at multi-gigahe...