498 search results - page 71 / 100 » New Constructions for IPP Codes |
124
click to vote
IMPERIAL
1993
15 years 6 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
107
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
101
click to vote
CIDR
2009
15 years 3 months ago
2009
To date, the principal use case for schema matching research has been as a precursor for code generation, i.e., constructing mappings between schema elements with the end goal of ...
111
click to vote
VL
2009
IEEE
15 years 8 months ago
2009
IEEE
Jadeite is a new Javadoc-like API documentation system that takes advantage of multiple users’ aggregate experience to reduce difficulties that programmers have learning new API...
RAID
2005
Springer
15 years 7 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...