10435 search results - page 1931 / 2087 » Computational Biology and Language |
212
Voted
SACMAT
2010
ACM
15 years 12 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
201
Voted
AISC
2010
Springer
15 years 12 months ago
2010
Springer
Mathematical notations around the world are diverse. Not as much as requiring computing machines’ makers to adapt to each culture, but as much as to disorient a person landing on...
179
Voted
CPAIOR
2010
Springer
15 years 12 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
176
click to vote
GECCO
2010
Springer
15 years 12 months ago
2010
Springer
As computers become increasingly mobile, users demand more functionality, longer battery-life, and better performance from mobile devices. In response, chipset fabricators are foc...
197
Voted
ICS
2010
Tsinghua U.
15 years 12 months ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...