4764 search results - page 811 / 953 » Applications of Error-Control Coding |
112
click to vote
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
168
click to vote
PAAMS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...
125
click to vote
IH
2001
Springer
15 years 8 months ago
2001
Springer
Computational forensic engineering (CFE) aims to identify the entity that created a particular intellectual property (IP). Rather than relying on watermarking content or designs, t...
104
Voted
LCPC
2001
Springer
15 years 8 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
121
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...