5451 search results - page 965 / 1091 » Typed Operational Semantics |
111
Voted
SPIEVIP
2010
15 years 1 months ago
2010
Ship detection from satellite imagery is something that has great utility in various communities. Knowing where ships are and their types provides useful intelligence information....
172
Voted
TDP
2010
15 years 1 months ago
2010
Abstract. Several national statistical agencies are now releasing partially synthetic, public use microdata. These comprise the units in the original database with sensitive or ide...
131
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
169
Voted
CASES
2010
ACM
15 years 1 months ago
2010
ACM
In modern wireless devices, two broad classes of compute-intensive applications are common: those with high amounts of data-level parallelism, such as signal processing used in wi...
120
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...