1626 search results - page 226 / 326 » Subtyping with Power Types |
156
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
With pervasive gaming, novel types of games have recently emerged. The idea is to apply pervasive computing technology - which embeds computers in real-world, everyday environment...
139
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
135
click to vote
IMR
2005
Springer
15 years 10 months ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
121
click to vote
IPSN
2005
Springer
15 years 10 months ago
2005
Springer
— Networked Infomechanical Systems (NIMS) introduces a new actuation capability for embedded networked sensing. By exploiting a constrained actuation method based on rapidly depl...
147
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...