2957 search results - page 461 / 592 » Processing Self Corrections |
187
click to vote
PADS
2003
ACM
16 years 5 days ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
181
click to vote
SAC
2003
ACM
16 years 5 days ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
175
click to vote
SI3D
2003
ACM
16 years 5 days ago
2003
ACM
Geometry deformations for interactive animated characters are most commonly achieved using a skeleton-driven deformation technique called linear blend skinning. To deform a vertex...
178
click to vote
SAC
2010
ACM
16 years 1 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
168
click to vote
EDBTW
2010
Springer
16 years 1 days ago
2010
Springer
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...