32032 search results - page 6116 / 6407 » Verified programming in Guru |
172
click to vote
ISLPED
2004
ACM
16 years 25 days ago
2004
ACM
This paper presents a technique called “workload decomposition” in which the CPU workload is decomposed in two parts: on-chip and off-chip. The on-chip workload signifies the ...
216
click to vote
ISLPED
2004
ACM
16 years 25 days ago
2004
ACM
Microprocessor designers use techniques such as clock gating to reduce power dissipation. An unfortunate side-effect of these techniques is the processor current fluctuations th...
185
click to vote
ISPD
2004
ACM
16 years 25 days ago
2004
ACM
Automated cell placement is a critical problem in VLSI physical design. New analytical placement methods that simultaneously spread cells and optimize wirelength have recently rec...
191
click to vote
ISSTA
2004
ACM
16 years 25 days ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...
199
click to vote
ISSTA
2004
ACM
16 years 25 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...