Sciweavers

6770 search results - page 266 / 1354
» How GPUs Work
Sort
View
91
Voted
VLDB
1993
ACM
98views Database» more  VLDB 1993»
15 years 7 months ago
Memory-Adaptive External Sorting
- In real-time and goal-orienteddatabasesystems, the amountof memory assignedto queriesthat sort or join large relations may fluctuate due to contention from other higherpriority t...
HweeHwa Pang, Michael J. Carey, Miron Livny
130
Voted
LFCS
1992
Springer
15 years 7 months ago
Strictness Logic and Polymorphic Invariance
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
P. N. Benton
121
Voted
CEC
2007
IEEE
15 years 7 months ago
Final design interpretation of the complex-shaped beam optimizations for compliant mechanisms
Compliant mechanisms are one-piece devices that combine the features of both structures and mechanisms. Compliant mechanism design solutions were identified by using evolutionary t...
M. Sauter, T. Kern, P. Ermanni
127
Voted
CSEE
2007
Springer
15 years 7 months ago
Exploiting Multiplicity to Teach Reliability and Maintainability in a Capstone Project
Many, if not most, Computer Science programs contain some form of capstone, or senior, project as a key requirement in receiving a bachelor's degree in Computer Science or So...
Janet E. Burge
112
Voted
AGILEDC
2004
IEEE
15 years 7 months ago
Using Competition to Build a Stronger Team
In 2001 we started a new project at our company. Undermanned, short on time, and under the gun to succeed, we knew that we needed a process that would help us stay on track. Unfor...
Darin Cummins