1346 search results - page 200 / 270 » An Interface Model for Parallel Components |
163
Voted
TACAS
2012
Springer
13 years 10 months 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...
101
Voted
HICSS
2009
IEEE
15 years 9 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 ...
123
click to vote
ICDCSW
2006
IEEE
15 years 8 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...
121
Voted
QEST
2010
IEEE
15 years 15 days 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...
123
Voted
ICS
2009
Tsinghua U.
15 years 9 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...