14078 search results - page 2587 / 2816 » Design and Analysis of Computer Algorithms |
211
Voted
IHI
2012
13 years 11 months ago
2012
Due to the global trend of aging societies with increasing demand for low cost and high quality healthcare services, there has been extensive research and development directed tow...
159
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
122
click to vote
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
We envision a new better-together mobile application paradigm where multiple mobile devices are placed in a close proximity and study a specific together-viewing video application...
152
click to vote
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
Except for a handful of "mobile" Web sites, the Web is designed for browsing with personal computers with large screens capable of fitting the content of most Web pages....
135
click to vote
EUROSYS
2008
ACM
16 years 27 days ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...