7986 search results - page 169 / 1598 » Computational Science and its Applications |
452
click to vote
Book
"this book is an introduction to the main ideas of the Tcl programming language: If you wish to learn a simple and powerful programming language, this book is for you. To read...
167
click to vote
JCDL
2005
ACM
15 years 11 months ago
2005
ACM
The distributed, project-oriented nature of digital libraries (DLs) has made them difficult to evaluate in aggregate. By modifying the methods and tools used to evaluate tradition...
142
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
During face-to-face interactions, groups frequently overly rely on the dominant viewpoint to lead the group in its decision-making process. We begin with a discussion of this phen...
174
click to vote
SPIN
2009
Springer
16 years 2 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
162
click to vote
ACMSE
2009
ACM
16 years 1 days ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...