36320 search results - page 716 / 7264 » From Code to Models |
199
Voted
LCTRTS
2005
Springer
16 years 23 days ago
2005
Springer
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...
178
click to vote
LCTRTS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
205
click to vote
SAS
2005
Springer
16 years 23 days ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
194
click to vote
CIARP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. The implementation of a pseudo text-independent Speaker Verification system is described. This system was designed to use only information extracted directly from the cod...
200
Voted
ISCAS
2003
IEEE
16 years 17 days ago
2003
IEEE
A new global motion estimation technique for sprite coding is presented in this paper. The proposed system manages to accurately register frames to a sprite without referencing th...