2214 search results - page 370 / 443 » Complexity of Reasoning |
114
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Linearity tests are randomized algorithms which have oracle access to the truth table of some function f, and are supposed to distinguish between linear functions and functions whi...
114
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
151
click to vote
POPL
2010
ACM
16 years 13 days ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
130
click to vote
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
123
click to vote
AAAI
2000
15 years 4 months ago
2000
One challenge for research in constraint-based scheduling has been to produce scalable solution procedures under fairly general representational assumptions. Quite often, the comp...