4887 search results - page 539 / 978 » System Level Design Using C |
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
172
click to vote
RAS
2007
15 years 5 months ago
2007
Developing real robots that can exploit dynamic interactions with the environment requires the use of actuators whose behaviour can vary from high stiffness to complete complianc...
172
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
156
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this contribution, an automatic system of song edition for Guitar Hero/Frets on Fire is presented. The system performs three fundamental stages: time analysis, frequency analys...
173
click to vote
CF
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...