7988 search results - page 1052 / 1598 » A Useful Undecidable Theory |
181
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
194
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
202
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
207
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
In response to the consistent increase of elder people living in their apartments, and the need for innovative non-obtrusive tools to connect elders to their caregivers, we starte...
181
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
Location-awareness is an important requirement for many mobile wireless applications today. When GPS is not applicable because of the required precision and/or the resource constr...