1151 search results - page 176 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
162
click to vote
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
163
Voted
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
149
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...
144
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
131
Voted
SBBD
2004
15 years 5 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...