4985 search results - page 618 / 997 » Observation of String-Rewriting Systems |
170
click to vote
SSDBM
2005
IEEE
16 years 9 days ago
2005
IEEE
Scientific investigations have to deal with rapidly growing amounts of data from simulations and experiments. During data analysis, scientists typically want to extract subsets o...
178
click to vote
VMCAI
2005
Springer
16 years 6 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
208
click to vote
CF
2010
ACM
15 years 10 months ago
2010
ACM
Studies have shown much of today’s data centers are over-provisioned and underutilized. Over-provisioning cannot be avoided as these centers must anticipate peak load with burst...
188
Voted
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In Reconfigurable Systems-On-Chip (RSoCs), operating systems can primarily (1) manage the sharing of limited reconfigurable resources, and (2) support communication betwe...
185
click to vote
USS
2008
15 years 9 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...