10916 search results - page 1929 / 2184 » On Constructive Connectives and Systems |
163
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
184
click to vote
PADS
1998
ACM
15 years 10 months ago
1998
ACM
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
194
click to vote
ISMIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces the design of rough neurons based on rough sets. Rough neurons instantiate approximate reasoning in assessing knowledge gleaned from input data. Each neuron c...
162
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
172
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...