2740 search results - page 181 / 548 » A Model-Based Approach To Requirements Analysis |
112
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...
132
Voted
CC
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
152
Voted
TC
2010
15 years 1 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
104
click to vote
HAPTICS
2006
IEEE
15 years 9 months ago
2006
IEEE
The design of usable haptic icons (brief informational signals delivered through the sense of touch) requires a tool for measuring perceptual distances between icons that will be ...
119
click to vote
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...