8695 search results - page 312 / 1739 » Making the Complex Simple |
153
Voted
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
159
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
155
click to vote
HPCN
1998
Springer
15 years 11 months ago
1998
Springer
The traditional complex access procedure still prevents a lot of scientists to migrate their applications to massively parallel computers and to bene t from their computing power. ...
199
Voted
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
181
click to vote
AAAI
1997
15 years 8 months ago
1997
This paper argues that complex, embedded software agent systems are best constructed with parallel, layered architectures. These systems resemble Minskian Societies of Mind and Br...