1801 search results - page 335 / 361 » Software Patterns in ITS Architectures |
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
ESTIMEDIA
2003
Springer
14 years 1 months ago
2003
Springer
Recognizing speech, gestures, and visual features are important interface capabilities for embedded mobile systems. Perception algorithms have many traits in common with more conv...
FCCM
2007
IEEE
14 years 11 days ago
2007
IEEE
While medium- and large-sized computing centers have increasingly relied on clusters of commodity PC hardware to provide cost-effective capacity and capability, it is not clear th...
DATE
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...