3735 search results - page 590 / 747 » Order compression schemes |
134
Voted
ICFP
2002
ACM
16 years 22 days ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
133
Voted
DCC
2008
IEEE
16 years 11 days ago
2008
IEEE
In this paper, we formally prove that padding the plaintext with a random bit-string provides the semantic security against chosen plaintext attack (IND-CPA) for the McEliece (and ...
87
Voted
EUROSYS
2009
ACM
15 years 10 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...
88
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
Technology mapping based on DAG-covering suffers from the problem of structural bias: the structure of the mapped netlist depends strongly on the subject graph. In this paper we ...
71
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...