536 search results - page 21 / 108 » A computer verified, monadic, functional implementation of t... |
143
click to vote
ISPD
2006
ACM
15 years 12 months ago
2006
ACM
APlace is a high quality, scalable analytical placer. This paper describes our recent efforts to improve APlace for speed and scalability. We explore various wirelength and densi...
162
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
150
click to vote
AMC
2005
15 years 5 months ago
2005
An efficient signcryption scheme based on elliptic curve is proposed in this paper. The signcryption scheme combines digital signature and encryption functions. The proposed schem...
139
click to vote
MOR
2010
15 years 4 months ago
2010
The goal of the current paper is to introduce the notion of certificates which verify the accuracy of solutions of computational problems with convex structure; such problems inc...
170
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...