84 search results - page 12 / 17 » Where's My Jetpack |
SISAP
2009
IEEE
14 years 1 months ago
2009
IEEE
—It has been a long way since the beginnings of metric space searching, where people coming from algorithmics tried to apply their background to this new paradigm, obtaining vari...
ISCA
2008
IEEE
14 years 1 months ago
2008
IEEE
Writing shared-memory parallel programs is error-prone. Among the concurrency errors that programmers often face are atomicity violations, which are especially challenging. They h...
IAT
2006
IEEE
14 years 23 days ago
2006
IEEE
Abstract During the last decade research groups as well as a number of commercial software developers have started to deploy embodied conversational characters in the user interfac...
LICS
2006
IEEE
14 years 22 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
SC
2004
ACM
14 years 4 days ago
2004
ACM
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...