1227 search results - page 129 / 246 » Remote Store Programming |
165
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
205
click to vote
DFT
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a new compression/decompression methodology for using an embedded processor to test the other components of a system-on-a-chip (SoC). The deterministic test v...
137
click to vote
FASE
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
137
click to vote
ICALP
1999
Springer
15 years 10 months ago
1999
Springer
The data sets for many of today's computer applications are too large to t within the computer's internal memory and must instead be stored on external storage devices su...
152
click to vote
ICCL
1998
IEEE
15 years 10 months ago
1998
IEEE
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...