1516 search results - page 171 / 304 » Trends in Software Verification |
ICCD
2000
IEEE
15 years 6 months ago
2000
IEEE
: Mobile processors form a large and very fast growing segment of semiconductor market. Although they are used in a great variety of embedded systems such as personal digital organ...
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
The current trend towards dynamic and highly scalable service provisioning fosters the rise of Software as a Service (SaaS) platforms and so called Compute Clouds. The on-demand p...
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper reports a study of mapping the Finite Difference Time Domain (FDTD) application to the IBM Cyclops64 (C64) many-core chip architecture [1]. C64 is chosen for this stu...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
UIST
2006
ACM
15 years 3 months ago
2006
ACM
The recent trend towards miniaturization of projection technology indicates that handheld devices will soon have the ability to project information onto any surface, thus enabling...