6020 search results - page 1073 / 1204 » A New Approach to Model Counting |
163
click to vote
KIVS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a discrete-event simulator for the General Packet Radio Service (GPRS) on the IP level. GPRS is a standard on packet data in GSM systems that will become commer...
150
click to vote
NOSSDAV
2001
Springer
15 years 10 months ago
2001
Springer
Application-level multicast is a new mechanism for enabling multicast in the Internet. Driven by the fast growth of network audio/video streams, application-level multicast has be...
143
click to vote
ASWEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
145
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
A tool is presented that gives a high-level estimation of the power consumed by an analog continuous-time OTA-C filter when given only high-level input parameters such as dynamic ...
151
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
JKanji is an interactive character completion system that provides stroke-order-independent recognition of complex hand-written glyphs such as Japanese kanji or Chinese hanzi. As ...