2373 search results - page 110 / 475 » The Design of the Zinc Modelling Language |
116
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
159
click to vote
AOSD
2005
ACM
15 years 7 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
Reconfigurability is becoming an important part of System-on-Chip (SoC) design to cope with the increasing demands for simultaneous flexibility and computational power. Current ha...
137
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
126
Voted
WOA
2001
15 years 2 months ago
2001
Nowadays, robots have to face very complex tasks, often requiring collaboration between several individuals. As a consequence, robotics can be considered one of the most suitable ...