5456 search results - page 744 / 1092 » General Equilibrium Theory |
162
click to vote
SMA
2005
ACM
16 years 8 days ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
169
click to vote
SPAA
2005
ACM
16 years 8 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
163
click to vote
SPAA
2005
ACM
16 years 8 days ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
144
click to vote
STORAGESS
2005
ACM
16 years 8 days ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
167
click to vote
WS
2005
ACM
16 years 8 days ago
2005
ACM
The growing popularity of mobile networks makes them increasingly attractive to virus writers, and malicious code targeting mobile devices has already begun to appear. Unfortunate...