1658 search results - page 226 / 332 » Implementing Bit-addressing with Specialization |
106
click to vote
FTDCS
1999
IEEE
15 years 5 months ago
1999
IEEE
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
WACC
1999
ACM
15 years 5 months ago
1999
ACM
The interoperability of systems to support cooperative work requires moving beyond purely technical issues; it also concerns the means and practices that users adopt to articulate...
ICNP
1999
IEEE
15 years 5 months ago
1999
IEEE
Mobile IP is the current standard for supporting macromobility of mobile hosts. However, in the case of micromobility support, there are several competing proposals. In this paper,...
161
click to vote
CAV
1999
Springer
15 years 5 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...