3591 search results - page 598 / 719 » Typing linear constraints |
138
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
In macromodeling-based power estimation, circuit macromodels are created from simulations of synthetic input vector sequences. Fast generation of these sequences with all possible...
154
click to vote
FPGA
2010
ACM
16 years 2 months ago
2010
ACM
Deep submicron processes have allowed FPGAs to grow in complexity and speed. However, such technology scaling has caused FPGAs to become more susceptible to the effects of process...
144
click to vote
ICDE
2010
IEEE
16 years 7 days ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
145
Voted
ASPLOS
2010
ACM
16 years 6 days ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
164
Voted
EMS
2009
IEEE
16 years 3 days ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...