5200 search results - page 732 / 1040 » Symbolic models for control systems |
338
click to vote
FM
1997
Springer
15 years 11 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
209
Voted
EXPCS
2007
15 years 11 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
215
Voted
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
: ? Delivering Energy Proportionality with Non Energy-Proportional Systems-Optimizing the Ensemble Niraj Tolia, Zhikui Wang, Manish Marwah, Cullen Bash, Parthasarathy Ranganathan, ...
196
Voted
HPDC
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
202
click to vote
STORAGESS
2005
ACM
16 years 1 months ago
2005
ACM
Recently, the Network-Attached Secure Disk (NASD) model has become a more widely used technique for constructing large-scale storage systems. However, the security system proposed...