3130 search results - page 220 / 626 » Design Correctness of Digital Systems |
151
click to vote
FMOODS
2000
15 years 5 months ago
2000
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
128
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...
133
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
132
click to vote
SLIP
2003
ACM
15 years 9 months ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...
185
click to vote
SDB
1995
15 years 8 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...