2282 search results - page 297 / 457 » Active property checking |
172
click to vote
TIME
2006
IEEE
15 years 11 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
154
click to vote
VLSID
2006
IEEE
15 years 11 months ago
2006
IEEE
Low density parity check (LDPC) codes are one of the most powerful error correcting codes known. Recent research have pointed out their potential for a low cost, low latency hardw...
135
click to vote
AOSD
2006
ACM
15 years 11 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
143
click to vote
ASYNC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
145
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...