924 search results - page 115 / 185 » An empirical study on software engineers motivational factor... |
APSEC
2006
IEEE
14 years 24 days ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
FOSSACS
2012
Springer
12 years 4 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Concurrency fault are difficult to find because they usually occur under specific thread interleavings. Fault-detection tools in this area find data-access patterns among threa...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
INTENSIVE
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...