6800 search results - page 1087 / 1360 » Testing with Functions as Specifications |
137
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
The visually impaired have limited access to the world of mobile devices. Our goal was to design a handheld mobile device to overcome limitations such as reliance on visual displa...
132
click to vote
RECOMB
2007
Springer
16 years 5 months ago
2007
Springer
The study of biological networks and network motifs can yield significant new insights into systems biology. Previous methods of discovering network motifs ? network-centric subgra...
160
click to vote
STOC
2005
ACM
16 years 5 months ago
2005
ACM
We investigate constructions of pseudorandom generators that fool polynomial tests of degree d in m variables over finite fields F. Our main construction gives a generator with se...
165
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
149
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...