3745 search results - page 468 / 749 » Sonic: System Description |
153
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
204
click to vote
SKG
2005
IEEE
16 years 6 days ago
2005
IEEE
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
177
click to vote
SYNASC
2005
IEEE
16 years 6 days ago
2005
IEEE
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
168
click to vote
MM
2005
ACM
16 years 6 days ago
2005
ACM
Advanced systems for finding, using, sharing, and remixing video require high-level representations of video content. A number of researchers have taken top-down, analytic approac...
172
click to vote
EGH
2005
Springer
16 years 5 days ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...