2695 search results - page 383 / 539 » A Visual Approach to Validating System Level Designs |
95
Voted
AHS
2007
IEEE
15 years 9 months ago
2007
IEEE
Finite impulse response (FIR) structures are the most commonly used digital filters and can be found in various areas of everyday life. In this paper we introduce a novel approac...
139
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
128
Voted
ISTA
2004
15 years 4 months ago
2004
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
133
click to vote
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
TL2 and similar STM algorithms deliver high scalability based on write-locking and invisible readers. In fact, no modern STM design locks to read along its common execution path b...
149
Voted
EUROSYS
2009
ACM
16 years 18 days ago
2009
ACM
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...