623 search results - page 9 / 125 » Relational Parametricity for Control Considered as a Computa... |
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
: The MASC model is a multi-SIMD model that uses control parallelism to coordinate the interaction of data parallel threads. It supports a generalized associative style of parallel...
IWC
2000
14 years 11 months ago
2000
Information visualisation systems which generate diagrams representing discrete relational information must consider potential users if they are to be effective. Many algorithms w...
CSREASAM
2006
15 years 1 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
115
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
114
click to vote
ICCAD
1995
IEEE
15 years 3 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...