4198 search results - page 105 / 840 » In search of lost time |
133
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
193
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Multicast/broadcast is an important service primitive in networks. The IEEE 802.11 multicast/broadcast protocol is based on the basic access procedure of Carrier Sense Multiple Ac...
162
click to vote
ITICSE
2000
ACM
2000
ACM
Integrating interactive computer-based learning experiences into established curricula: a case study
15 years 10 months ago
Educators who wish to integrate interactive computerbased learning experiences into established courses must contend not only with the difficulty of creating quality digital conte...
155
click to vote
HOTOS
1999
IEEE
15 years 10 months ago
1999
IEEE
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
174
click to vote
ICECCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...