1843 search results - page 206 / 369 » Securing Class Initialization |
111
Voted
PUC
2000
15 years 18 days ago
2000
This paper considers how we may provide support for the development of general design principles in domestic environments. In particular we examine the potential for using design p...
MOC
1998
15 years 14 days ago
1998
In this paper we further explore a class of high order TVD (total variation diminishing) Runge-Kutta time discretization initialized in a paper by Shu and Osher, suitable for solvi...
117
click to vote
SIGCSE
2002
ACM
15 years 14 days ago
2002
ACM
We present our experiences using the RoboCup soccerserver simulator and Biter, our own agent platform, for the teaching of a graduate multiagent systems' class. The RoboCup s...
97
Voted
MFCS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, ...
104
click to vote
WG
2010
Springer
14 years 11 months ago
2010
Springer
The problem of determining the cutwidth of a graph is a notoriously hard problem which remains NP-complete under severe restrictions on input graphs. Until recently, non-trivial p...