4166 search results - page 414 / 834 » A modular module system |
174
click to vote
JLP
2010
15 years 1 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
167
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
155
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we compare the performance of hierarchical GP methods (Automatically Defined Functions, Module Acquisition, Adaptive Representation through Learning) with the canon...
138
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents an automated system for storage and retrieval of bank checks in contrast with the microfilming techniques that are currently used. The bank check images are in...
161
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper investigates methods to locate system resources, such as expensive hardware or software modules, to provide the most effective cost / performance tradeoffs in a torus p...