1271 search results - page 193 / 255 » On Simulation-Checking with Sequential Systems |
SIPS
2008
IEEE
15 years 4 months ago
2008
IEEE
Modern microprocessor technology is migrating from simply increasing clock speeds on a single processor to placing multiple processors on a die to increase throughput and power pe...
110
click to vote
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract - The RoQ (Reduction-of-Quality) attacks are lowrate DDoS attacks that degrade the QoS to end systems stealthily but not to deny the services completely. These attacks are...
ICPADS
2007
IEEE
15 years 4 months ago
2007
IEEE
For some sequential loops, existing techniques that form speculative threads only at their loop boundaries do not adequately expose the speculative parallelism inherent in them. T...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper presents a software component that enables NetSolve with direct communications between servers in a non-intrusive and incremental way. Non-intrusiveness means that the s...