7921 search results - page 1202 / 1585 » LSH-preserving functions and their applications |
189
click to vote
LICS
2003
IEEE
16 years 2 days ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
200
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
220
click to vote
NDSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
184
click to vote
RSP
2003
IEEE
16 years 2 days ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
193
click to vote
RSP
2003
IEEE
16 years 2 days ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...