Sciweavers

6274 search results - page 723 / 1255
» Proofs, Programs, Processes
Sort
View
ECOOP
2000
Springer
15 years 11 months ago
Ionic Types
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
Simon A. Dobson, Brian Matthews
GECCO
1999
Springer
167views Optimization» more  GECCO 1999»
15 years 11 months ago
A Biologically Inspired Fitness Function for Robotic Grasping
This paper describes the innovative use of genetic programming (GP) to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a Ò...
J. Jaime Fernandez, Ian D. Walker
IFIP
1999
Springer
15 years 11 months ago
The Tyranny of Space in Organizational Analysis
We want to understand organizational process as the temporal making of meanings, but our vocabulary for doing so is predominantly spatial. Some mistakes this has led to in my own ...
Richard J. Boland Jr.
HPDC
1998
IEEE
15 years 11 months ago
Strings: A High-Performance Distributed Shared Memory for Symmetrical Multiprocessor Clusters
This paper introduces Strings, a high performance distributed shared memory system designed for clusters of symmetrical multiprocessors (SMPs). The distinguishing feature of this ...
Sumit Roy, Vipin Chaudhary
ECOOP
1998
Springer
15 years 11 months ago
Object-Oriented Architectural Support for a Java Processor
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
Narayanan Vijaykrishnan, N. Ranganathan, Ravi Gade...