5630 search results - page 834 / 1126 » Computability in Specification |
150
click to vote
LCPC
1998
Springer
15 years 11 months ago
1998
Springer
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
193
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...
176
click to vote
COLT
1992
Springer
15 years 10 months ago
1992
Springer
Language learning from positive data in the Gold model of inductive inference is investigated in a setting where the data can be modeled as a stochastic process. Specifically, the...
165
click to vote
UIST
1994
ACM
15 years 10 months ago
1994
ACM
Communication is about people, not machines. But as firms and families alike spread out geographically, we rely increasingly on telecommunications tools to keep us "connected...
152
click to vote
SP
1990
IEEE
15 years 10 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...