1528 search results - page 130 / 306 » Performance Assertion Checking |
112
click to vote
LPAR
2010
Springer
15 years 26 days ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
118
click to vote
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...
132
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
105
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Low density parity check codes (LDPC) are known to perform very well under iterative decoding. However, these codes also exhibit a change in the slope of the bit error rate (BE...
192
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...