1675 search results - page 240 / 335 » Some thoughts on teaching programming and programming langua... |
183
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We provide a framework for online conflict-free coloring (CF-coloring) of any hypergraph. We use this framework to obtain an efficient randomized online algorithm for CF-coloring ...
128
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
: As part of a larger research on multimedia traffic performance over GPRS, we present a QoS study focusing on one parameter: bandwidth. GPRS is an evolutionary phase and a critica...
165
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
186
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
157
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...