29172 search results - page 5436 / 5835 » Modeling Systems in CLP |
191
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...
173
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
171
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
167
click to vote
ESTIMEDIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
217
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...