249 search results - page 34 / 50 » Validating Architectural Feature Descriptions using LOTOS |
107
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Today’s information technologies, such as autonomic computing, offer companies new ways to do businesses. Those that fail to embrace and use such advantages in the next years ar...
121
click to vote
ISMIR
2005
Springer
15 years 6 months ago
2005
Springer
The creation of huge databases coming from both restoration of existing analogue archives and new content is demanding fast and more and more reliable tools for content analysis a...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper explores optimization techniques of the synchronization mechanisms for MPSoCs based on complex interconnect (Network-on-Chip), targeted at future powerefficient system...
118
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
IWPC
2005
IEEE
15 years 7 months ago
2005
IEEE
Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-...