Sciweavers

1021 search results - page 9 / 205
» Pure Subtype Systems
Sort
View
ECAL
2005
Springer
14 years 1 months ago
Is an Embodied System Ever Purely Reactive?
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
Eduardo Izquierdo-Torres, Ezequiel A. Di Paolo
TLCA
1993
Springer
13 years 11 months ago
Pure Type Systems Formalized
James McKinna, Robert Pollack
JAVA
2000
Springer
13 years 11 months ago
A high performance cluster JVM presenting a pure single system image
Yariv Aridor, Michael Factor, Avi Teperman, Tamar ...
FUIN
2007
70views more  FUIN 2007»
13 years 7 months ago
Active Symbols in Pure Systems
Suna Bensch, Henning Bordihn
JSCIC
2010
142views more  JSCIC 2010»
13 years 2 months ago
Recent Developments in the Pure Streamfunction Formulation of the Navier-Stokes System
In this paper we review fourth-order approximations of the biharmonic operator in one, two and three dimensions. In addition, we describe recent developments on second and fourth o...
Dalia Fishelov, Matania Ben-Artzi, Jean-Pierre Cro...