2836 search results - page 464 / 568 » Model Checking for Software Architectures |
164
click to vote
AVI
2006
15 years 7 months ago
2006
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
161
click to vote
MAM
2006
15 years 6 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
191
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
199
click to vote
IADIS
2004
15 years 7 months ago
2004
The accelerated development in grid computing has positioned it as a promising next generation computing platform. It enables the creation of virtual organizations (VO) for sharin...
214
click to vote
DSD
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...