5090 search results - page 660 / 1018 » Constructing Strategies for Programming |
159
Voted
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
We demonstrate a program that can inspect a distributed relational database on the Internet to discover and quantify referential integrity issues for integration purposes. The pro...
144
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The practical implementation of Min-Max MPC (MMMPC) controllers is limited by the computational burden required to compute the control law. This problem can be circumvented by ...
178
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
170
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
In sub-90nm technologies, more frequent hard faults pose a serious burden on processor design and yield control. In addition to manufacturing-time chip repair schemes, microarchit...
179
Voted
CIE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...