6800 search results - page 687 / 1360 » Testing with Functions as Specifications |
171
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Embedded processors are making it possible for common appliances, such as cable boxes, microwaves and fax machines, to provide even more functionality. Unfortunately, as these app...
281
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
242
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Commercial database systems expose query hints to fix poor plans produced by the query optimizer. However, current query hints are not flexible enough to deal with a variety of no...
208
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
The Gaia ubiquitous computing platform currently supports mobile devices through a thin client proxy architecture. Mobile devices run a lightweight proxy client written in J2ME to...
236
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
The quadratic assignment problem (QAP) is a central problem in combinatorial optimization. Several famous computationally hard tasks, such as graph matching, partitioning, and the...