3365 search results - page 441 / 673 » Digital System Design: Architectures, Methods and Tools |
167
click to vote
CGVR
2008
15 years 8 months ago
2008
- The erosive action of rivers and seas has immense influence on the appearance of the physical landscape. However, the creation of several important river and coastal features are...
161
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
202
click to vote
ACMICEC
2004
ACM
16 years 8 hour ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
161
click to vote
CF
2010
ACM
15 years 11 months ago
2010
ACM
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
192
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
The tremendous growth of system memories has increased the capacities and capabilities of memory-resident embedded databases, yet current embedded databases need to be tuned in or...