2607 search results - page 475 / 522 » Complete Functional Synthesis |
142
click to vote
SPAA
2009
ACM
16 years 15 days ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
152
Voted
ALT
2006
Springer
16 years 9 days ago
2006
Springer
This paper presents a novel paradigm for learning languages that consists of mapping strings to an appropriate high-dimensional feature space and learning a separating hyperplane i...
116
click to vote
ICCD
2004
IEEE
16 years 8 days ago
2004
IEEE
In Deep Sub-Micron (DSM) technologies, interconnects play a crucial role in the correct functionality and largely impact the performance of complex System-on-Chip (SoC) designs. F...
117
Voted
SOSP
2007
ACM
16 years 7 days ago
2007
ACM
As users interact with the world and their peers through their computers, it is becoming important to archive and later search the information that they have viewed. We present De...
118
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...