1543 search results - page 157 / 309 » Using a Groupware Space for Distributed Requirements Enginee... |
129
Voted
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
211
Voted
ICDE
2004
IEEE
16 years 4 months ago
2004
IEEE
The indexing technique commonly used for long strings, such as genomes, is the suffix tree, which is based on a vertical (intra-path) compaction of the underlying trie structure. ...
127
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
155
Voted
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
115
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...