4856 search results - page 241 / 972 » Concept formation in design |
168
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
141
click to vote
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
The increasing parallelisation of development processes as well as the ongoing trends towards virtual product development and outsourcing of development activities strengthen the ...
179
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
174
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
165
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...