6581 search results - page 426 / 1317 » Formalizing Design Patterns |
170
click to vote
GLVLSI
2008
IEEE
15 years 6 months ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
180
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
181
click to vote
ISORC
2008
IEEE
16 years 21 days ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
154
click to vote
ARCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
169
click to vote
APN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...