1346 search results - page 200 / 270 » An Interface Model for Parallel Components |
186
click to vote
TACAS
2012
Springer
14 years 20 days ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
122
click to vote
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
150
click to vote
ICDCSW
2006
IEEE
15 years 11 months ago
2006
IEEE
The extent to which a wireless multi-hop network is connected is usually measured by the probability that all the nodes form a single connected component. We find this measure, c...
140
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
153
click to vote
ICS
2009
Tsinghua U.
15 years 12 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...