2513 search results - page 316 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
90
Voted
HIPEAC
2010
Springer
15 years 2 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
109
click to vote
ISSTA
2010
ACM
15 years 2 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
78
Voted
LREC
2010
15 years 2 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
97
Voted
SIMUTOOLS
2008
15 years 2 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
89
Voted
TNC
2004
15 years 2 months ago
2004
There are activities aiming at abling users to dock to a wireless or wired network while visiting organisations outside the premises of their usual connection to the network. Thes...