15778 search results - page 2840 / 3156 » Aikido and software engineering |
219
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
164
click to vote
MIR
2010
ACM
16 years 1 months ago
2010
ACM
Vision-based user interfaces enable natural interaction modalities such as gestures. Such interfaces require computationally intensive video processing at low latency. We demonstr...
160
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Implementing the 23 Gang-of-Four design patterns in the aspectoriented programming language Object Teams/Java (OT/J) yields modularity and reusability results roughly comparable t...
184
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
207
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
Over the past decade, system architectures have started on a clear trend towards increased parallelism and heterogeneity, often resulting in speedups of 10x to 100x. Despite numer...