3457 search results - page 101 / 692 » A Symbol Is Not a Symbol |
106
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
81
Voted
ICCD
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a very general, exact technique for scheduling looping data-flow graphs. In contrast to the conventional technique using loop iteration variables and integer ...
86
Voted
VTC
2007
IEEE
15 years 7 months ago
2007
IEEE
— A special kind of symbol-wise puncturing is applied to the code symbols of a constituent trellis coded modulation (TCM) within two very bandwidth-efficient concatenated coding...
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
102
Voted
INTELLCOMM
2004
Springer
15 years 6 months ago
2004
Springer
There is a number of applications requiring a community of many senders to transmit some real-time information to a single receiver. Using unicast connections to send this traffic ...