291 search results - page 29 / 59 » A Logic for Parametric Polymorphism |
101
click to vote
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
134
click to vote
WSC
2007
15 years 4 months ago
2007
The parametrization of business games benefits from the usage of a multi-tier architecture and software services. This paper shows that the multi-tier concept supports parametriz...
111
click to vote
TCIAIG
2010
14 years 8 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
123
Voted
IWMM
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
100
click to vote
FPGA
2007
ACM
15 years 7 months ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...