1516 search results - page 171 / 304 » Trends in Software Verification |
100
Voted
ICCD
2000
IEEE
16 years 15 days 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...
134
click to vote
HICSS
2010
IEEE
15 years 10 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...
113
click to vote
ICPP
2009
IEEE
15 years 10 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...
135
click to vote
DATE
2007
IEEE
15 years 10 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...
124
Voted
UIST
2006
ACM
15 years 9 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...