32032 search results - page 6116 / 6407 » Verified programming in Guru |
148
click to vote
ISLPED
2004
ACM
16 years 5 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 ...
189
click to vote
ISLPED
2004
ACM
16 years 5 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...
170
click to vote
ISPD
2004
ACM
16 years 5 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...
167
click to vote
ISSTA
2004
ACM
16 years 5 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...
180
click to vote
ISSTA
2004
ACM
16 years 5 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...