6581 search results - page 201 / 1317 » Formalizing Design Patterns |
109
Voted
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
107
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
We study a class of scheduling problems which combines the structural aspects associated with task dependencies, with the dynamic aspects associated with ongoing streams of request...
129
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
115
Voted
IADIS
2003
15 years 5 months ago
2003
This paper describes capturing design experiences by applying grounded theory to pattern mining. The presented approach aims at inducing expert development knowledge and its subse...
152
Voted
SEW
2005
IEEE
15 years 9 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...