5180 search results - page 898 / 1036 » Concurrency, Time, and Constraints |
156
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
215
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
A subtyping 0 is entailed by a set of subtyping constraints C, written C j= 0, if every valuation (mapping of type variables to ground types) that satisfies C also satisfies 0. ...
187
click to vote
VLSID
1997
IEEE
15 years 10 months ago
1997
IEEE
The problem of test generation belongs to the class of NP-complete problems and it is becoming more and more di cult as the complexity of VLSI circuits increases, and as long as e...
160
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes a novel communication scheme, which is guaranteed to be free of synchronization failures, amongst multiple synchronous modules operating independently. In thi...
160
click to vote
MM
1996
ACM
15 years 10 months ago
1996
ACM
Creating high-quality multimediapresentationsrequiresmuch skill, time, and effort. This is particularly true when temporal media, such as speech and animation, are involved. We de...