1894 search results - page 227 / 379 » Towards Mobile Reasoning |
146
click to vote
MOBISYS
2011
ACM
14 years 7 months ago
2011
ACM
The explosive growth of the mobile application market has made it a significant challenge for the users to find interesting applications in crowded App Stores. To alleviate this...
274
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
132
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
113
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
122
click to vote
SYNASC
2006
IEEE
15 years 10 months ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...