2097 search results - page 355 / 420 » Modeling and Simulation of Hardware Software Systems with CD... |
113
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
112
Voted
EATIS
2007
ACM
15 years 6 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
168
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
133
Voted
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
This work presents a general methodology for estimating the performance of an HPC workload when running on a future hardware architecture. Further, it demonstrates the methodology...
96
Voted
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
— Fast Fourier transform (FFT) algorithms are used in a wide variety of digital signal processing applications and many of these require high-performance parallel implementations...