2607 search results - page 475 / 522 » Complete Functional Synthesis |
134
Voted
SPAA
2009
ACM
15 years 11 months 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...
138
Voted
ALT
2006
Springer
15 years 11 months 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...
108
click to vote
ICCD
2004
IEEE
15 years 11 months 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...
106
Voted
SOSP
2007
ACM
15 years 11 months 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...
112
click to vote
CCS
2009
ACM
15 years 9 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...