9521 search results - page 200 / 1905 » Compiling with continuations, continued |
142
click to vote
PERCOM
2008
ACM
16 years 2 months ago
2008
ACM
A promising architecture for remote healthcare monitoring involves the use of a pervasive device (such as a cellular phone), which aggregates data from multiple body-worn medical ...
117
Voted
LATA
2010
Springer
16 years 20 days ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
68
Voted
ICCAD
2005
IEEE
16 years 6 days ago
2005
IEEE
129
Voted
STACS
2010
Springer
15 years 10 months ago
2010
Springer
The past decade has witnessed many interesting algorithms for maintaining statistics over a data stream. This paper initiates a theoretical study of algorithms for monitoring distr...
126
Voted
SI3D
2010
ACM
15 years 10 months ago
2010
ACM
