6978 search results - page 1156 / 1396 » On Proofs in System P |
172
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
177
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...
171
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
New Web 2.0 applications, with their emphasis on collaboration and communication, hold the promise of major advances in social connectivity and coordination; however, they also in...
164
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
This study was conducted to better understand how New Product Development (NPD) team members apply their experiences to meet the task needs of their project. Although “experienc...
203
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
For effective digital rights management (DRM) of multimedia in the framework of embedded systems, both watermarking and cryptography are necessary. In this paper, we present a wat...