4839 search results - page 294 / 968 » A survey of computational complexity results in systems and ... |
165
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
175
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
220
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
Clusters of workstations have emerged as an important platform for building cost-effective, scalable, and highlyavailable computers. Although many hardware solutions are available...
177
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
—The paper presents architecture and synthesis results for an organic computing hardware for smart CMOS camera chips. The organic behavior in the chip hardware is based on distri...
148
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
An increasing number of users are adopting large, multimonitor displays. The resulting setups cover such a broad viewing angle that users can no longer simultaneously perceive all...