4895 search results - page 655 / 979 » Tools for Grammar Engineering |
175
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
Privacy is the most often-cited criticism of ubiquitous computing, and may be the greatest barrier to its long-term success. However, developers currently have little support in d...
169
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
179
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
As the scale of system integration continues to grow, the on-chip communication becomes the ultimate bottleneck of system performance and the primary determinant of system archite...
179
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Knowledge workers must manage large numbers of simultaneous, ongoing projects that collectively involve huge numbers of resources (documents, emails, web pages, calendar items, et...
174
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...