2740 search results - page 387 / 548 » A Model-Based Approach To Requirements Analysis |
241
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
211
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Data streaming systems are becoming essential for monitoring applications such as financial analysis and network intrusion detection. These systems often have to process many simi...
136
click to vote
ICCD
2003
IEEE
16 years 10 days ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
115
Voted
ICCAD
2002
IEEE
16 years 9 days ago
2002
IEEE
The simulation of on-chip inductance using PEEC-based circuit analysis methods often requires the solution of a subproblem where an extracted inductance matrix must be multiplied ...
131
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Distributed systems, especially time-triggered ones, are implementing clock synchronization algorithms to provide and maintain a common view of time among the different nodes. S...