2777 search results - page 513 / 556 » Example centric programming |
139
click to vote
TRIDENTCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper presents the NTP experimental platform for heterogeneous wireless sensor networks (WSN), which is built on the campus of National Tsing Hua University under the supp...
116
click to vote
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
123
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Automatic library generators, such as ATLAS [11], Spiral [8] and FFTW [2], are promising technologies to generate efficient code for different computer architectures. The library...
127
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
119
click to vote
ACIVS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this project we present a framework for a multi-touch surface using multiple cameras. With an overhead camera and side-mounted camera we determine the three dimensiona...