5409 search results - page 182 / 1082 » Basic Observables for Processes |
109
click to vote
ALGORITHMS
2010
15 years 9 days ago
2010
Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theo...
ACSD
2008
IEEE
15 years 9 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
131
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
122
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose an algorithm based on singular value decomposition (SVD) to reduce the number of process variation variables. With few process variation variables, fault simulation and...
161
click to vote
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...