1711 search results - page 256 / 343 » Completing pseudojump operators |
PODC
1999
ACM
14 years 9 days ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
ICCAD
1999
IEEE
14 years 8 days ago
1999
IEEE
A delay abstraction of a combinational module is a compact representation of the delay information of the module, which carries effective pin-to-pin delay for each primary-input/pr...
ICCAD
1999
IEEE
14 years 8 days ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
IPPS
1999
IEEE
14 years 8 days ago
1999
IEEE
Massively parallel computers are increasingly being used to solve large, I/O intensive applications in many different fields. For such applications, the I/O requirements quite oft...
RTCSA
1999
IEEE
14 years 8 days ago
1999
IEEE
Data Broadcast in mobile environments has received much attention in recent years and a large number of algorithms proposed. However, existing work in the literature only assume a ...