10935 search results - page 1997 / 2187 » Neural Programming Language |
150
Voted
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
Mobile devices such as the iPhone provide state of the art interaction capabilities also for web browser applications. Our mobile development is targeted to a Energy Awareness app...
123
click to vote
TAP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
104
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
125
Voted
CF
2009
ACM
15 years 8 months ago
2009
ACM
Hybrid architectures combining the strengths of generalpurpose processors with application-specific hardware accelerators can lead to a significant performance improvement. Our ...
115
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...