4870 search results - page 405 / 974 » Construction of Wavelets and Applications |
186
click to vote
SIGOPSE
1996
ACM
15 years 12 months ago
1996
ACM
We introduce server operating systems, which are sets of abstractions and runtime support for specialized, highperformance server applications. We have designed and are implementi...
174
click to vote
WMRD
1992
15 years 11 months ago
1992
Modeling the reliability of distributed systems requires a good understanding of the reliability of the components. Careful modeling allows highly fault-tolerant distributed appli...
174
Voted
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
213
click to vote
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
189
click to vote
CSR
2006
Springer
15 years 11 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...