Sciweavers

4839 search results - page 16 / 968
» A survey of computational complexity results in systems and ...
Sort
View
ACG
2009
Springer
15 years 6 months ago
Data Assurance in Opaque Computations
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
Joe Hurd, Guy Haworth
DLT
2003
15 years 1 months ago
Complexity Theory Made Easy
In recent years generalized acceptance criteria for different nondeterministic computation models have been examined. Instead of the common definition where an input word is said...
Heribert Vollmer
ISSAC
1997
Springer
142views Mathematics» more  ISSAC 1997»
15 years 4 months ago
The Structure of Sparse Resultant Matrices
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
Ioannis Z. Emiris, Victor Y. Pan
SPE
2010
114views more  SPE 2010»
14 years 10 months ago
A survey of the research on power management techniques for high-performance systems
This paper surveys the research on power management techniques for high performance systems. These include both commercial high performance clusters and scientific high performanc...
Yongpeng Liu, Hong Zhu
LISA
2008
15 years 2 months ago
Designing Tools for System Administrators: An Empirical Test of the Integrated User Satisfaction Model
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
Nicole F. Velasquez, Suzanne P. Weisband, Alexandr...