5344 search results - page 428 / 1069 » Privacy-Preserving Set Operations |
132
click to vote
LATIN
2010
Springer
15 years 12 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
131
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
In this paper, we consider minimizing the system-level energy consumption through dynamic voltage scaling for embedded devices, while a) allowing concurrent access to shared objec...
141
click to vote
LATA
2009
Springer
15 years 12 months ago
2009
Springer
We consider a restricted variant of the hairpin completion called bounded hairpin completion. The hairpin completion is a formal operation inspired from biochemistry. Applied to a ...
144
Voted
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
— As a simple five-stage General-Purpose Processor (GPP), the baseline FlexCore processor has a limited set of datapath units. By utilizing a flexible datapath interconnect and...
136
click to vote
ISDA
2009
IEEE
15 years 11 months ago
2009
IEEE
—The present work is focused on the improvement of a Sensing Seat system previously developed by the authors for the initial authentication purpose in office and car scenarios. ...