4401 search results - page 233 / 881 » Computing with Default Logic |
258
click to vote
ECCB
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
187
click to vote
MST
2011
15 years 11 days ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
151
click to vote
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
Reversible logic has applications in quantum computing, low power CMOS, nanotechnology, optical computing, and DNA computing. The most common reversible gates are the Toffoli gate...
149
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
167
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
NFS is considered to be the bottleneck in cluster computing environment because of its limited resources and centralized data management. With the development of hardware, NFS ser...