10996 search results - page 243 / 2200 » Future Directions in Computing |
166
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
Due to the extensive requirement of memory and speed for direct numerical simulation (DNS) of channel turbulence, people can only perform DNS at moderate Reynolds number before. W...
173
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
173
click to vote
NSPW
2006
ACM
16 years 15 days ago
2006
ACM
In considering new security paradigms, it is often worthwhile to anticipate the direction and nature of future attack paradigms. We identify a class of attacks based on the idea o...
145
click to vote
APCSAC
2005
IEEE
16 years 5 days ago
2005
IEEE
Moore’s law describes the growth in on-chip transistor density, which doubles every 18 to 24 months and looks set to continue for at least a decade and possibly longer. This grow...
162
click to vote
ACMSE
2005
ACM
16 years 3 days ago
2005
ACM
Typically viewed as competing design approaches, this paper illustrates how claims and personas can be used together in user interface design. Our combined approach is exemplified...