832 search results - page 147 / 167 » Declarative Specification of Software Architectures |
109
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
121
click to vote
ISPASS
2008
IEEE
15 years 8 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
117
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
139
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...
117
click to vote
HUC
2010
Springer
14 years 12 months ago
2010
Springer
Life-log systems have a wide range of usages from memory augmentation to health monitoring. Recent advances in pervasive devices and sensor networks enable us to create tools that...