3001 search results - page 514 / 601 » Recursive type generativity |
138
Voted
SIGUCCS
2000
ACM
15 years 9 months ago
2000
ACM
As colleges and universities are moving into the realm of providing Internet connections to the residence dormitories (ResNet), the local help desk is becoming the focal point for...
157
click to vote
PLDI
1997
ACM
15 years 9 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
177
click to vote
ICPADS
1994
IEEE
15 years 9 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
179
click to vote
ASIACRYPT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Stream ciphers play an important role in symmetric cryptology because of their suitability in high speed applications where block ciphers fall short. A large number of fa...
171
click to vote
CICLING
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we present a method for the automatic acquisition of semantic-based reformulations from natural language questions. Our goal is to find useful and generic ...